Items where authors include "Pardillo Laursen, C."

Article

Huerta y Munive, J.J. orcid.org/0000-0003-3279-3685, Foster, S. orcid.org/0000-0002-9889-9514, Gleirscher, M. orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: interactive verification of cyber-physical systems at scale. Journal of Automated Reasoning, 68 (4). 21. ISSN 0168-7433