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

Cached

Download Links

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