Binary Multirelations

MaRDI QIDQ43925swMATHFDO

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

Cited in

(3)

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

This page was built for software: Binary Multirelations