Search results for: Sandrine Blazy
Journal of Automated Reasoning > 2019 > 63 > 2 > 369-392
Journal of Automated Reasoning > 2019 > 62 > 4 > 433-480
Journal of Automated Reasoning > 2018 > 60 > 3 > 255-256
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 40-57
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 666-680
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 280-299
Science of Computer Programming > 2016 > 118 > C > 77-95
Journal of Automated Reasoning > 2016 > 56 > 3 > 283-308
Journal of Automated Reasoning > 2009 > 43 > 3 > 263-288
Journal of Automated Reasoning > 2008 > 41 > 1 > 1-31
Automated Software Engineering > 2000 > 7 > 4 > 345-376