Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019 |
Toimittajat | Brijesh Dongol, Luigia Petre, Graeme Smith |
Kustantaja | Springer Verlag |
Sivut | v–vi |
ISBN (painettu) | 978-3-030-32440-7 |
Tila | Julkaistu - 2019 |
OKM-julkaisutyyppi | A3 Kirjan osa tai toinen tutkimuskirja |
Preface
Brijesh Dongol, Luigia Petre, Graeme Smith
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu