Miljak, L.,
Poulsen, C. B. &
van Spaendonck, F.,
2023,
FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. Tomb, A. (ed.).
Association for Computing Machinery (ACM),
p. 44-50 7 p. (FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review