Jongmans, S.-S., 2025, Programming Languages and Systems:
34th European Symposium on Programming, ESOP 2025, Held as Part of
the International Joint Conferences on Theory and Practice of
Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025,
Proceedings, Part II. Vafeiadis, V. (uitgave).
Springer, Vol. 2. blz. 62-9029
blz. (Lecture Notes in Computer Science; vol. 15695).
Jongmans, S.-S., 2025, Tools and Algorithms for the
Construction and Analysis of Systems: 31st International
Conference, TACAS 2025, Held as Part of the International Joint
Conferences on Theory and Practice of Software, ETAPS 2025,
Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part
I. Gurfinkel, A. & Heule, M. (uitgave).
Springer, Vol. 1. blz. 145-16420
blz. (Lecture Notes in Computer Science; vol. 15696).
