Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Clarke:2000:AVH, author = "Edmund M. Clarke", title = "Automatic verification of hardware and software systems", journal = j-SIGSOFT, volume = "25", number = "1", pages = "41--42", month = jan, year = "2000", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/340855.340875", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Wed Aug 1 17:13:50 MDT 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/sigsoft2000.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/citation.cfm?id=J728", }