Wyniki wyszukiwania dla: 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
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