Formal Merthods for Software Development

Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities