Formal Merthods for Software Development
- Haxthausen, A. E. (Guest lecturer)
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities