![]() ; Cordy, Maxime ![]() in Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019, May) Detailed reference viewed: 60 (2 UL)![]() Cordy, Maxime ![]() in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May) Detailed reference viewed: 77 (0 UL) |
||