Items where authors include "van de Pol, Jaco"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

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

This list was generated on Mon Apr 29 03:44:52 2024 BST.