Conference item icon

Conference item

Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Actions


Access Document


Files:

Authors


Tom Melham More by this author
Publisher:
Springer−Verlag
Volume:
2999
Publication date:
2004
ISSN:
0302-9743
URN:
uuid:1f9d1a31-eff6-4603-a40b-de87f9e5b20d
Local pid:
cs:4711
ISBN:
3-540-21377-5

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP