|
|
Z and HOL
– Jonathan Bowen, Mike Gordon
|
|
5
|
Using formal specifications in the acquisition of information systems: Educating information systems professionals
– Paul A. Swatman
- 1993
|
|
65
|
The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions
– Robert Pollack
- 1994
|
|
3
|
A Comparative Study of Coq and HOL
– Vincent Zammit
- 1997
|
|
7
|
A Mechanized Theory of the pi-calculus in HOL
– T. F. Melham
- 1992
|
|
36
|
Experience with embedding hardware description languages in HOL
– Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel
- 1992
|
|
|
The HOL System DESCRIPTION Preface
– unknown authors
- 2010
|
|
|
The HOL System LOGIC Preface
– unknown authors
- 2012
|
|
|
The HOL System LOGIC Preface
– unknown authors
- 2010
|
|
|
The HOL System LOGIC Preface
– unknown authors
- 2009
|
|
|
The HOL System DESCRIPTION Preface
– unknown authors
- 2009
|
|
|
The HOL System DESCRIPTION Preface
– unknown authors
- 2011
|
|
|
The HOL System DESCRIPTION Preface
– unknown authors
- 2012
|
|
145
|
Higher-order logic programming
– Gopalan Nadathur, Dale Miller
|
|
|
A Prototype Generic Tool Supporting The Embedding . . .
– Andrew M Gravell, Chris H Pratten
- 1998
|
|
5
|
Machine-Assisted Theorem-Proving for Software Engineering
– Andrew Martin
- 1994
|
|
24
|
A Logic for Object-Z
– Graeme Smith
- 1994
|
|
|
A Hardware Combinator For Tree-Shaped Circuits
– Annette Bunker
- 1998
|
|
|
Desiderata for Interactive Verification Systems
– Konrad Slind, Christian Prehofer
- 1994
|
|
10
|
An Overview of A Formal Framework For Managing Mathematics
– William M. Farmer, Martin V. Mohrenschildt
- 2003
|
