Items where Author is "Huerta y Munive, Jonathan Julian"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
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.