Isabelle/DOF

swMATH31242MaRDI QIDQ42954FDOQ42954

Author name not available (Why is that?)

Described by source

• Using the Isabelle ontology framework -- linking the formal with the informal

Cited In (1)

• Integration of formal proof into unified assurance cases with Isabelle/SACM

This page was built for software: Isabelle/DOF