| 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