Länkstig Hem Om universitetet Hitta person David Lidell David Lidell Doktorand Formella metoder (FM) E-post david.lidell@gu.se Besöksadress Rännvägen 6 41258 Göteborg Postadress 41296 Göteborg