A survey of input-output semantics and program verification, rep. 344

• 31 December 1980
• journal article
• abstracts
• Published by Elsevier in Information Systems
• Vol. 5  (3) , 250-251
• https://doi.org/10.1016/0306-4379(80)90056-3

Abstract