Search results for: Mickaël Kerbœuf
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 359-374
2014 IEEE 23rd International WETICE Conference > 300 - 305
Journal of Logic and Algebraic Programming > 2005 > 63 > 2 > 241-269