Search results for: Antoine Miné
Formal Methods in System Design > 2019 > 54 > 1 > 64-109
Formal Methods in System Design > 2018 > 53 > 2 > 221-258
Electronic Notes in Theoretical Computer Science > 2017 > 331 > C > 3-39
Computer Languages, Systems & Structures > 2017 > 47 > P1 > 77-103
Journal of Systems and Software > 2016 > 120 > C > 114-132
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 348-363
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 112-128
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 272-300
Lecture Notes in Computer Science > Static Analysis > 117-132