KAD
From MaRDI portal
Software:43942
No author found.
Related Items (2)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Geographic wayfinders and space-time algebra
This page was built for software: KAD
