AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85

• Authors:

• David R. Musser

• Affiliations:

• Corporate Research & Development Schenectady, New York

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