Home › Authors › Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.) 👤 Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.) 1 book Books by Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.) Formal methods for trustworthy computer systems (FM89) 1990
