Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
- Författare
- Marieke. Huisman
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing AG | 2021 | Utgivningsland okänt / Ej specificerat, Cham |