Breadcrumb Home About Find staff David Lidell David Lidell Doctoral Student Formal Methods (FM) Mail david.lidell@gu.se Visiting address Rännvägen 6 41258 Göteborg Postal address 41296 Göteborg