Binary Multirelations

swMATH32214MaRDI QIDQ43925FDOQ43925

Author name not available (Why is that?)

Cited In (2)

• Taming Multirelations
• Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

This page was built for software: Binary Multirelations