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 Fri Oct 31 01:32:58 2025 GMT.