Activities per year
Activities
- 2 results
Search results
-
Formal Merthods for Software Development
Haxthausen, A. E. (Guest lecturer)
11 Sept 2017 → 14 Sept 2017Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
-
Towards a Semantics for VDM Core
Haxthausen, A. E. (Speaker)
20 Jun 2011Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities