Publikation:
Formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry
Datum
2025
Audio- oder Videoaufnahme
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Institution | Eastern Switzerland University of Applied Sciences (OST) |
| Titel | Formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry |
| Sprache | eng |
| Autor:in | |
| Herausgeber:in | The Haskell Foundation |
| Verlag / Hrsg. Institution | The Haskell Foundation |
| Datum der Veröffentlichung | 2025 |
| URL - Externer Link |