An International Survey of Industrial Applications of Formal Methods

• Authors:

• Dan Craigen;Susan L. Gerhart;Ted Ralston

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Z User Workshop
• Year:
• 1992