Originalspråk | Odefinierat/okänt |
---|---|
Titel på gästpublikation | Integrated Formal Methods |
Redaktörer | C. Furia, K. Winter |
Förlag | Springer |
Sidor | 151–160 |
ISBN (tryckt) | 9783319989372 |
DOI | |
Status | Publicerad - 2018 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods Varaktighet: 1 jan 2018 → … |
Konferens
Konferens | International Conference on Integrated Formal Methods |
---|---|
Period | 01/01/18 → … |