Differential_Game_Logic
From MaRDI portal
Software:43956
No author found.
Related Items (3)
Differential Game Logic ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Uniform substitution for differential game logic
This page was built for software: Differential_Game_Logic
