Cordy, M.,
Devroey, X., Legay, A.,
Perrouin, G., Classen, A.,
Heymans, P.,
Schobbens, P.-Y. & Raskin, J.-F.,
Oct 2019,
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.).
Springer Verlag,
p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review