| | |
@article{DBLP:journals/acta/BarringerCJ84,
author = {Howard Barringer and
J. H. Cheng and
Cliff B. Jones},
title = {A Logic Covering Undefinedness in Program Proofs},
journal = {Acta Inf.},
volume = {21},
year = {1984},
pages = {251-269},
ee = {http://dx.doi.org/10.1007/BF00264250},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2011-08-29 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page