<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
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. (ed.).
Springer, Vol. 2. p. 62-9029
p. (Lecture Notes in Computer Science; vol. 15695).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
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. (eds.).
Springer, Vol. 1. p. 145-16420
p. (Lecture Notes in Computer Science; vol. 15696).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
