Search results for: Martin Tappler
Formal Methods in System Design > 2019 > 54 > 3 > 416-448
Journal of Automated Reasoning > 2019 > 63 > 4 > 1103-1134
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 806-823
Electronic Notes in Theoretical Computer Science > 2016 > 320 > C > 3-19