BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

BibTex-formatted data @Article{ Hantler, title = "An Introduction to Proving the Correctness of Programs", author = "Sidney L. Hantler,James C. King", year = "1976", month = "September", journal = "Computing Surveys", number = "3", pages = "331-353", volume = "8", keywords = "Program correctness,Program Proving,Program verification,Proving correctness of programs,Symbolic execution,Symbolic interpretation", url = "http://delivery.acm.org/10.1145/360000/356677/p331-hantler.pdf?key1=356677&key2=1457717421&coll=GUIDE&dl=GUIDE&CFID=43739498&CFTOKEN=60887841", }