@article{DBLP:journals/software/BlythBRT90,
author = {David Blyth and
Cornelia Boldyreff and
Clive Ruggles and
Nik Tetteh-Lartey},
title = {The Case for Formal Methods in Standards},
journal = {IEEE Software},
volume = {7},
number = {5},
year = {1990},
pages = {65-67},
ee = {http://doi.ieeecomputersociety.org/10.1109/52.57893},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
