| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 1385 |
| Issue number | January |
| Publication status | Published - 2015 |
| Event | 1st Workshop on Formal Methods in Software Engineering Education and Training, FMSEE and T 2015 - co-located with the 20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway Duration: 23 Jun 2015 → … |
Foreword
- Andreas Bollin
- , Tiziana Margaria
- , Isabelle Perseil
Research output: Contribution to journal › Editorial