Conference item icon

Conference item

Integration of a Software Model Checker into Isabelle

Actions


Authors


Matthias Daum More by this author
Stefan Maus More by this author
Norbert Schirmer More by this author
M.Nassim Seghir More by this author
Publication date:
2005
URN:
uuid:9731a15a-6664-4193-9c5a-0c7bcecaf61a
Local pid:
cs:5481

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