scientific article; zbMATH DE number 1263217
From MaRDI portal
Publication:4234089
zbMath0968.68529MaRDI QIDQ4234089
Publication date: 27 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Complexity and performance of numerical algorithms (65Y20)
Related Items (1)
This page was built for publication: