de Souza Amorim, L. E. &
Visser, E.,
2020,
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings. de Boer, F. & Cerone, A. (eds.).
Springer Science and Business Media Deutschland GmbH,
p. 1-23 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review