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.

Authors

David Blyth

This author has not been identified. Look up 'David Blyth' in Google

Cornelia Boldyreff

This author has not been identified. Look up 'Cornelia Boldyreff' in Google

Clive Ruggles

This author has not been identified. Look up 'Clive Ruggles' in Google

Nik Tetteh-Lartey

This author has not been identified. Look up 'Nik Tetteh-Lartey' in Google