Isabelle/DOF

swMATH31242MaRDI QIDQ42954FDOQ42954

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_3

Described by source

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

Cited In (4)

• NeOn
• Fluent Editor
• rOntorion
• Integration of formal proof into unified assurance cases with Isabelle/SACM

This page was built for software: Isabelle/DOF