The Case for Formal Methods in Standards

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

Permanent Identifier

Use this permanent URL when citing or linking to this resource in ROAR.

Abstract

More Information

Divisions: Schools > Architecture Computing and Engineering, School of
Additional Information: Citation: Blyth, D. et al. (1990) ‘The Case for Formal Methods in Standards’ IEEE Software 7 (5) 65 - 67.
Date Deposited: 26 Apr 2010 08:54
Official URL: http://dx.doi.org/10.1109/52.57893
Item Type: Article
Creators: Blyth, David and Boldyreff, Cornelia and Ruggles, Clive and Tetteh-Lartey, Nik
Status: Published
Last Modified: 11 Jan 2016 16:13
Depositing User: Stephen Grace
PEER REVIEWED

Download

Version: Published Version

Licence: Creative Commons: Attribution-No Derivative Works 3.0

Statistics

View details