The Case for Formal Methods in Standards

David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey. The Case for Formal Methods in Standards. IEEE Software, 7(5):65-67, 1990.

Abstract

Abstract is missing.