Edit Profile (opens in new tab) Dangl, Matthias Compute Distance To: Compute Author ID: dangl.matthias Published as: Dangl, Matthias Documents Indexed: 2 Publications since 2018 Co-Authors: 2 Co-Authors with 2 Joint Publications 27 Co-Co-Authors Co-Authors 0 single-authored 2 Beyer, Dirk 2 Wendler, Philipp Serials 2 Journal of Automated Reasoning Fields 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 A unifying view on SMT-based software verification. Zbl 1426.68041Beyer, Dirk; Dangl, Matthias; Wendler, Philipp 3 2018 all top 5 Cited by 6 Authors 1 Ernst, Gidon 1 Hajdu, Ákos 1 Micskei, Zoltán 1 Salamati, Ali 1 Soudjani, Sadegh 1 Zamani, Majid Cited in 2 Serials 1 Automatica 1 Journal of Automated Reasoning Cited in 4 Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year