Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Schmidt:2000:AIP, author = "David Schmidt", title = "Abstract interpretation and program modelling", journal = j-SIGSOFT, volume = "25", number = "1", pages = "81--82", month = jan, year = "2000", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/340855.341017", 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", }