Breadcrumb Home About Find staff Magnus Myréen Magnus Myréen Docent Formal Methods (FM) Telephone +46 31-772 16 64 Mail myreen@chalmers.se Visiting address Rännvägen 6 41258 Göteborg Room number 6478 Postal address Chalmers 41296 Göteborg