Conference item icon

Conference item

Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Actions


Access Document


Files:

Authors


Publisher:
Springer−Verlag
Volume:
2999
Host title:
Integrated Formal Methods: 4th International Conference‚ IFM 2004: Canterbury‚ UK‚ April 4–7‚ 2004: Proceedings
Publication date:
2004-01-01
ISSN:
0302-9743
ISBN:
3540213775
UUID:
uuid:1f9d1a31-eff6-4603-a40b-de87f9e5b20d
Local pid:
cs:4711
Deposit date:
2015-03-31

Terms of use


Views and Downloads






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

TO TOP