Items where Author is "Huerta y Munive, Jonathan Julian"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Huerta y Munive, Jonathan Julian ORCID: https://orcid.org/0000-0003-3279-3685 (2020) Algebraic verification of hybrid systems in Isabelle/HOL. PhD thesis, University of Sheffield.

This list was generated on Thu Apr 3 01:34:39 2025 BST.