Algebraic_VCs
From MaRDI portal
Software:43928
No author found.
Related Items (3)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL ⋮ A Discrete Geometric Model of Concurrent Program Execution
This page was built for software: Algebraic_VCs
