scientific article; zbMATH DE number 1031980
From MaRDI portal
Publication:4343983
zbMath0884.68017MaRDI QIDQ4343983
No author found.
Publication date: 6 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Refinement calculus: A basis for translation validation, debugging and certification ⋮ An engineering process for the verification of real-time systems ⋮ Mechanical inference of invariants for FOR-loops ⋮ A theory for execution-time derivation in real-time programs ⋮ Real-time properties of indirect recursive procedures ⋮ Verifying Whiley programs with Boogie
This page was built for publication:
