Items where Author is "Huerta y Munive, Jonathan Julian"
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.