Software Engineering: Analysis and Verification

• Authors:

• Theodore G. Lewis

• Affiliations:

• -

• Venue:
• Software Engineering: Analysis and Verification
• Year:
• 1982