Robuta

https://research.ibm.com/publications/an-introduction-to-proving-the-correctness-of-programs An Introduction to Proving the Correctness of Programs for ACM Computing Surveys (CSUR) - IBM... An Introduction to Proving the Correctness of Programs for ACM Computing Surveys (CSUR) by Sidney L. Hantler et al. an introduction to acm computing surveys programs for proving correctness https://vldb.org/dblp/db/journals/csur/csur36.html ACM Computing Surveys, Volume 36 acm computing surveys volume https://cs.brown.edu/memex/ACM_HypertextTestbed/citationBase/M.html ACM Computing Surveys Hypertext and Hypermedia Symposium acm computing surveys hypertext hypermedia symposium https://portal.issn.org/resource/ISSN/0360-0300 ISSN 0360-0300 - ACM computing surveys acm computing surveys issn