scientific article

zbMath0977.68020MaRDI QIDQ2763673

Markus Müller-Olm, Oliver Rüthing

Publication date: 21 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280190

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Computing polynomial program invariants ⋮ Analysing All Polynomial Equations in ${\mathbb Z_{2^w}}$

This page was built for publication: