HOL-UNITY

MaRDI QIDQ40416swMATHFDO

Official website https://link.springer.com/chapter/10.1007/3-540-59293-8_238

Cited in

(7)

• Mechanizing UNITY in Isabelle
• Quartz
• DisCo
• UNITY
• Ocsid
• Formal Reasoning About Causality Analysis
• scientific article; zbMATH DE number 1863391 (Why is no real title available?)

This page was built for software: HOL-UNITY