HOL-Z
From MaRDI portal
Software:15531
No author found.
Related Items (4)
Verifying a signature architecture: a comparative case study ⋮ Building Formal Method Tools in the Isabelle/Isar Framework ⋮ Testing for refinement in \textsf{Circus} ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++
This page was built for software: HOL-Z
