|
468
|
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
– M Gordon, T Melham
- 1993
|
|
728
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
387
|
The Foundation of a Generic Theorem Prover
– Lawrence C. Paulson
- 1989
|
|
1
|
The SCR approach to requirements specification and analysis
– Stuart Faulk, Connie Heitmeyer
- 1997
|
|
10
|
An Overview of A Formal Framework For Managing Mathematics
– William M. Farmer, Martin V. Mohrenschildt
- 2003
|
|
2
|
The draw-bot: A project for teaching software engineering
– M von Mohrenschildt, D K Peters
- 1998
|
|
1
|
The VDM-SL
– J Dawes
- 1991
|
|
14
|
The SCR method for formally specifying, verifying, and validating requirements: Tool support
– C Heitmeyer, J Kirby, B Labaw
- 1997
|
|
43
|
The Objective Caml system
– X Leroy
- 2008
|
|
8
|
Formalizing undefinedness arising in calculus
– William M. Farmer
- 2004
|
|
190
|
PVS: Combining Specification, Proof Checking, and Model Checking
– S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas
- 1996
|
|
1055
|
The Z Notation: A Reference Manual
– J M Spivey
- 1992
|
|
48
|
Precise documentation of wellstructured programs
– D L Parnas, J Madey, M Iglewski
- 1994
|
|
10
|
Reasoning about partial functions with the aid of a computer
– W M Farmer
- 1995
|
|
14
|
The Seven Virtues of Simple Type Theory
– William M. Farmer
- 2003
|
|
352
|
ML for the Working Programmer
– L C Paulson
- 1996
|
|
4
|
The completeness of the functional calculus
– L Henkin
- 1949
|
|
2
|
De Vrijer, editors
– R P Nederpelt, J H Geuvers, R C
- 1994
|
|
2
|
On the consistency of a slight (?) modi of Quine's nf. Synthese
– R B Jensen
- 1969
|
