Isabelle/DOF

swMATH31242MaRDI QIDQ42954

No author found.

Described by source

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

Related Items (1)

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

This page was built for software: Isabelle/DOF