Proving Programs to be Correct
From MaRDI portal
Publication:5639354
DOI10.1109/T-C.1971.223135zbMath0231.68014MaRDI QIDQ5639354
Publication date: 1971
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
A survey of state vectors ⋮ A method for pogram analysis and Its applications to program-correctness problems ⋮ A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation ⋮ Computation of equilibria in noncooperative games
This page was built for publication: Proving Programs to be Correct
