Tactical Theorem Proving in Program Verification

• Authors:

• Maritta Heisel;Wolfgang Reif;Werner Stephan

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 10th International Conference on Automated Deduction
• Year:
• 1990