Engineering requirements for production quality verification systems

• Authors:

• Stephen D. Crocker

• Affiliations:

• The Aerospace Corporation

• Venue:
• ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
• Year:
• 1985