An Assessment of Techniques for Proving Program Correctness

Saved in:
Bibliographic Details
Published in:ACM computing surveys 1972-06, Vol.4 (2), p.97-147
Main Authors: Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, Abraham
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0360-0300
1557-7341
DOI:10.1145/356599.356602