Breadcrumb Home About the University Find staff Pietro Giovanni Rosso Pietro Giovanni Rosso Teaching Assistant Formal Methods (FM) Mail pietro.giovanni.rosso@gu.se Visiting address Rännvägen 6 B 412 58 Göteborg Postal address Box 100 412 96 Göteborg