Items where authors include "van de Pol, Jaco"

Article

Gleirscher, Mario orcid.org/0000-0002-9445-6863, van de Pol, Jaco and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) A manifesto for applicable formal methods. Software and Systems Modeling. ISSN 1619-1366