Home › Authors › Workshop on the Assessment of Formal Methods for Trustworthy Computer 👤 Workshop on the Assessment of Formal Methods for Trustworthy Computer 1 book Books by Workshop on the Assessment of Formal Methods for Trustworthy Computer Formal methods for trustworthy computer systems (FM89) 1990
