Last update: Sun Feb 4 02:03:05 MST 2018
@Article{Lano:1993:REC, author = "K. Lano and P. T. Breuer and H. Haughton", title = "Reverse-engineering {Cobol} via formal methods", journal = j-J-SOFTW-MAINT, volume = "5", number = "1", pages = "13--35", month = "????", year = "1993", CODEN = "JSMPEU", DOI = "https://doi.org/10.1002/smr.4360050103", ISSN = "1040-550X (print), 1096-908X (electronic)", ISSN-L = "1040-550X", bibdate = "Wed Jan 31 08:40:07 MST 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/jsoftwmaint.bib", acknowledgement = ack-nhfb, fjournal = "Journal of Software Maintenance: Research and Practice", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", }