Länkstig Hem Om universitetet Hitta person Wolfgang Ahrendt Wolfgang Ahrendt Professor Bitr Formella metoder (FM) Telefon 031-772 10 11 E-post ahrendt@chalmers.se Besöksadress Rännvägen 6 41258 Göteborg Rumsnummer 6479 Postadress 41296 Göteborg