Originalspråk | Odefinierat/okänt |
---|---|
Titel på värdpublikation | Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019 |
Redaktörer | Brijesh Dongol, Luigia Petre, Graeme Smith |
Förlag | Springer Verlag |
Sidor | v–vi |
ISBN (tryckt) | 978-3-030-32440-7 |
Status | Publicerad - 2019 |
MoE-publikationstyp | A3 Del av bok eller annan forskningsbok |
Preface
Brijesh Dongol, Luigia Petre, Graeme Smith
Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review