Programming with Verification Conditions
From MaRDI portal
Publication:4178454
DOI10.1109/TSE.1979.234171zbMath0395.68008MaRDI QIDQ4178454
Publication date: 1979
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (4)
Invariant diagrams with data refinement ⋮ Matrix Code ⋮ Invariant based programming: Basic approach and teaching experiences ⋮ Semantics of algorithmic languages
This page was built for publication: Programming with Verification Conditions
