David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey. The Case for Formal Methods in Standards. IEEE Software, 7(5):65-67, 1990.
@article{BlythBRT90,
title = {The Case for Formal Methods in Standards},
author = {David Blyth and Cornelia Boldyreff and Clive Ruggles and Nik Tetteh-Lartey},
year = {1990},
researchr = {https://researchr.org/publication/BlythBRT90},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {7},
number = {5},
pages = {65-67},
}