Integrating model checking and theorem proving in a reflective functional language (2004)

Cached

Download Links

by Tom Melham
Venue:In IFM
Citations:4 - 0 self