, Tappler, M.
& Wallner, F.
, Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings.
Ahrendt, W. & Wehrheim, H. (eds.). p. 3-22 20 p.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12165 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review