Originalspråk | Engelska |
---|---|
Förlag | Springer |
ISBN (elektroniskt) | 978-3-642-38612-1 |
ISBN (tryckt) | 978-3-642-38612-1 |
DOI | |
Status | Publicerad - 2013 |
MoE-publikationstyp | C2 Redigerat verk |
Evenemang | Integrated Formal Methods - ICT house, Turku, Finland Varaktighet: 10 juni 2013 → 14 juni 2013 Konferensnummer: 10 |
Publikationsserier
Namn | Lecture Notes in Computer Science |
---|---|
Förlag | Springer |
Volym | 7940 |