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

View PDF

Download Links

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