| Originalsprache | Englisch |
|---|---|
| Titel | Formal Methods in Software Engineering Education Teaching and Training |
| Herausgeber*innen | Andreas Bollin, Tiziana Margaria, Isabelle Perseil |
| Erscheinungsort | RWTH Aachen |
| Verlag | Sun SITE Central Europe |
| Seiten | 27-34 |
| Seitenumfang | 8 |
| Band | 1385 |
| Publikationsstatus | Veröffentlicht - Juni 2015 |
Publikationsreihe
| Name | CEUR Workshop Proceedings |
|---|---|
| ISSN (Print) | 1613-0073 |
Wissenschaftszweige
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101009 Geometrie
- 101012 Kombinatorik
- 101013 Mathematische Logik
- 101020 Technische Mathematik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver