| 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 |
Citera det här
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver