![]() Cordy, Maxime ![]() ![]() ![]() in Formal Aspects of Computing (2021), 33(6), 1147--1172 Detailed reference viewed: 62 (8 UL)![]() ; ; Cordy, Maxime ![]() in SOFTWARE PRODUCT LINE CONFERENCE (2020, October) Detailed reference viewed: 50 (1 UL)![]() Cordy, Maxime ![]() ![]() in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 (2020, April) Detailed reference viewed: 87 (3 UL)![]() Cordy, Maxime ![]() in International Journal on Software Tools for Technology Transfer (2019), 21(6), 635-649 Detailed reference viewed: 64 (1 UL)![]() Cordy, Maxime ![]() in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May) Detailed reference viewed: 74 (0 UL)![]() Cordy, Maxime ![]() in From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (2019) Detailed reference viewed: 57 (3 UL)![]() ; ; Papadakis, Mike ![]() in Journal of Systems and Software (2018) Detailed reference viewed: 121 (3 UL)![]() ; Perrouin, Gilles ![]() ![]() in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) (2017) Detailed reference viewed: 137 (5 UL)![]() ; ; Papadakis, Mike ![]() in 38th International Conference on Software Engineering (ICSE'16) (2016) Detailed reference viewed: 111 (2 UL)![]() ; ; et al in Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014) (2014) Detailed reference viewed: 122 (2 UL) |
||