![]() |
@article{DBLP:journals/sigsoft/Fass04,
author = {Leona F. Fass},
title = {Approximations, anomalies and "the proof of correctness
wars"},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {29},
number = {2},
year = {2004},
pages = {3},
ee = {http://doi.acm.org/10.1145/979743.979757},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-05-09 by Michael Ley (ley@uni-trier.de)