Last update: Wed Sep 26 02:07:32 MDT 2018
@Article{Walker:1990:PVT, author = "Henry M. Walker", title = "Program verification (tutorial session): techniques and uses", journal = j-SIGCSE, volume = "22", number = "1", pages = "254", month = feb, year = "1990", CODEN = "SIGSD3", DOI = "https://doi.org/10.1145/319059.323414", ISSN = "0097-8418 (print), 2331-3927 (electronic)", ISSN-L = "0097-8418", bibdate = "Sat Nov 17 18:57:12 MST 2012", bibsource = "http://portal.acm.org/; http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib", acknowledgement = ack-nhfb, fjournal = "SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education)", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688", }