Formal methods for trustworthy computer systems (FM'89) : a Workshop onthe Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Nova Scotia, Canada /
Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems(1989 :Halifax, N.S)
Craigen, Dan,1953-
Summerskill, Karen,1958-
London : Springer-Verlag London,
1990.
Electronic digital computers.