Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Tom Melham
Book Title
Integrated Formal Methods: 4th International Conference‚ IFM 2004: Canterbury‚ UK‚ April 4–7‚ 2004: Proceedings
Editor
Eerke A. Boiten and John Derrick and Graeme Smith
ISBN
3−540−21377−5
ISSN
0302−9743
Pages
36–39
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2999
Year
2004