Program Abstraction in a Higher-Order Logic Framework (1998)

Cached

Download Links

by Marco Benini , Sara Kalvala , Dirk Nowotka
Venue:In Proceedings of Theorem Proving in Higher-Order Logic '98 International Conference. Theorem Proving in Higher-Order Logic '98
Citations:1 - 1 self