Tactical theorem proving in program verification

• Authors:

• M. Heisel;W. Reif;W. Stephan

• Affiliations:

• -;-;-

• Venue:
• CADE-10 Proceedings of the tenth international conference on Automated deduction
• Year:
• 1990