Search results for: Érik Martin-Dorel
Journal of Automated Reasoning > 2016 > 57 > 3 > 187-217
Journal of Automated Reasoning > 2015 > 54 > 1 > 1-29
BIT Numerical Mathematics > 2013 > 53 > 4 > 897-924
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 173-179