Formal Merthods for Software Development

Activity: Talks and presentationsGuest lectures, external teaching and course activities at other universities

Description

A PhD course.
Period11 Sept 201714 Sept 2017
Held atUniversity of Florence, Italy