series = {Lecture Notes in Computer Science},
pages = {51},
number = {11916},
- booktitle = {Composability, Comprehensibility and Correctness of Working Software, 7th Winter School, Kosice, Slovakia, January 22–26, 2018, Revised Selected Papers},
+ booktitle = {Composability, Comprehensibility and Correctness of Working Software, 7th Winter School, Košice, Slovakia, January 22–26, 2018, Revised Selected Papers},
publisher = {Springer},
author = {Koopman, Pieter and Lubbers, Mart and Plasmeijer, Rinus},
date = {2023},