| 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 → … |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver