| | |
@article{DBLP:journals/cacm/Fetzer88,
author = {James H. Fetzer},
title = {Program Verification: The Very Idea},
journal = {Commun. ACM},
volume = {31},
number = {9},
year = {1988},
pages = {1048-1063},
ee = {http://doi.acm.org/10.1145/48529.48530},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page