Last update: Sun Mar 31 02:13:37 MDT 2019
@Article{Anonymous:2007:DIPa,
author = "Anonymous",
title = "Discussion on {``The Ideal of Program Correctness''}
by {Tony Hoare}",
journal = j-COMP-J,
volume = "50",
number = "3",
pages = "261--268",
month = may,
year = "2007",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxl079",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:33 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol50/issue3/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
note = "See \cite{Hoare:2007:IPC,Anonymous:2007:DIPb}.",
URL = "http://comjnl.oxfordjournals.org/cgi/content/full/50/3/261;
http://comjnl.oxfordjournals.org/cgi/reprint/50/3/261",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}