Program Abstraction in a Higher-Order Logic Framework

• Authors:

• Marco Benini;Sara Kalvala;Dirk Nowotka

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
• Year:
• 1998