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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.