An International Survey of Industrial Applications of Formal Methods.

Wed, 01 Jan 1992 00:00:00 +0100

Dan Craigen, Susan L. Gerhart, Ted Ralston:
An International Survey of Industrial Applications of Formal Methods. Z User Workshop 1992: 1-5