FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report).

Mon, 01 Jan 1990 00:00:00 +0100

Dan Craigen:
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). ICSE 1990: 233-235