Binary Multirelations

swMATH32214MaRDI QIDQ43925FDOQ43925

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Multirelations.html

Cited In (3)

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

This page was built for software: Binary Multirelations