This is an old revision of the document!
The most updated information is available at my institutional page at Unicam.
- A.Y. 2016/17
- Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam
- Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam
- A.Y. 2015/16
1) Questa pagina è accessible solo agli studenti Unicam