Application of formal methods to system and software specification

• Authors:

• William G. Wood

• Affiliations:

• Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pa.

• Venue:
• Conference proceedings on Formal methods in software development
• Year:
• 1990