Binary Multirelations

MaRDI QIDQ43925swMATHFDO

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