Binary Multirelations
From MaRDI portal
Software:43925
No author found.
Related Items (2)
Taming Multirelations ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
This page was built for software: Binary Multirelations