Search results for: Florian Zuleger
Journal of Automated Reasoning > 2017 > 59 > 1 > 3-45
Formal Methods in System Design > 2017 > 50 > 2-3 > 289-316
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 214-228
Lecture Notes in Computer Science > Static Analysis > 280-297
2013 Formal Methods in Computer-Aided Design > 226 - 230