Constructive Methods in Program Verification
From MaRDI portal
Publication:4139639
DOI10.1109/TSE.1977.231129zbMath0364.68011OpenAlexW2156472435MaRDI QIDQ4139639
Publication date: 1977
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tse.1977.231129
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Annotations in formal specifications and proofs ⋮ A pragmatic approach to resolution-based theorem proving
This page was built for publication: Constructive Methods in Program Verification
