Jonathan Julian Huerta y Munive

Completeness of the Q0 Higher-Order Logic

by Asta Halkjær From, Jonathan Julian Huerta y Munive and Anders Schlichtkrull

A Verified Proof Checker for Metric First-Order Temporal Logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel

Matrices for ODEs

by Jonathan Julian Huerta y Munive

Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive