Conference item icon

Conference item

Teaching Formal Methods in Context

Actions


Authors


Jim Davies More by this author
Andrew Simpson More by this author
Andrew Martin More by this author
Publisher:
Springer−Verlag
Volume:
3294
Publication date:
2004
URN:
uuid:b779efb7-91a6-46f7-85a0-0451388262ee
Local pid:
cs:2527

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