Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)

Books by Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.) on BookTides.