Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Rich:1980:MPT, author = "Robert P. Rich", title = "Mechanical Proof Testing", journal = j-COMP-LANGS, volume = "5", number = "1", pages = "1--28", month = "????", year = "1980", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Tue Mar 25 14:04:06 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/complngs.bib", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory)", classification = "723", corpsource = "Appl. Phys. Lab., John Hopkins Univ., Laurel, MD, USA", journal-URL = "http://www.sciencedirect.com/science/journal/00960551", journalabr = "Comput Lang", keywords = "axiomatic theory; computer program; computer programs; correctness of; PL/I; programming theory; proof testing; proofs; statements", treatment = "T Theoretical or Mathematical", }