Breadcrumb Home About Find staff Erik Björnlinger Erik Björnlinger Teaching Assistant Formal Methods (FM) Mail erik.bjornlinger@gu.se Visiting address Rännvägen 6 41258 Göteborg Postal address 41296 Göteborg