Länkstig Hem Om universitetet Hitta person Johannes Åman Pohjola Johannes Åman Pohjola Universitetslektor Formella metoder (FM) - IT E-post johannes.aman.pohjola@gu.se Besöksadress Rännvägen 6 41258 Göteborg Postadress 41296 Göteborg