The following pages link to HOL-Z (Q15531):
Displaying 4 items.
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Building Formal Method Tools in the Isabelle/Isar Framework (Q3523187) (← links)