swMATH32217MaRDI QIDQ43928FDOQ43928
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Algebraic_VCs.html
Cited In (9)
- Quantales
- Transformer semantics
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
- Ordinary Differential Equations
- Binary Multirelations
- Kleene Algebra
- KAD
- A discrete geometric model of concurrent program execution
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
This page was built for software: Algebraic_VCs
