Länkstig Hem Om universitetet Hitta person Taiquan Sui Taiquan Sui Doktorand Formella metoder (FM) E-post taiquan.sui@gu.se Besöksadress Rännvägen 6 B 412 58 Göteborg Postadress Box 100 412 96 Göteborg