Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, R. L. London, D. G. Taylor, David S. Wile. An Overview of AFFIRM: A Specification and Verification System. In IFIP Congress. pages 343-347, 1980.
No reviews for this publication, yet.