Last update: Sun Feb 4 02:03:05 MST 2018
@Article{Keller:1993:ARM, author = "Benjamin J. Keller and Richard E. Nance", title = "Abstraction refinement: A model of software evolution", journal = j-J-SOFTW-MAINT, volume = "5", number = "3", pages = "123--145", month = "????", year = "1993", CODEN = "JSMPEU", DOI = "https://doi.org/10.1002/smr.4360050302", ISSN = "1040-550X (print), 1096-908X (electronic)", ISSN-L = "1040-550X", bibdate = "Wed Jan 31 08:40:08 MST 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/jsoftwmaint.bib", note = "See discussion \cite{Ward:1995:LEA} and reply \cite{Keller:1995:ARR}.", acknowledgement = ack-nhfb, fjournal = "Journal of Software Maintenance: Research and Practice", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481", }