HOL-Z

swMATH2996MaRDI QIDQ15531FDOQ15531

Author name not available (Why is that?)

Described by source

• FM 2005: Formal Methods

Cited In (4)

• Building Formal Method Tools in the Isabelle/Isar Framework
• Verifying a signature architecture: a comparative case study
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• Testing for refinement in \textsf{Circus}

This page was built for software: HOL-Z