Documents Related by Co-Citation

854 A formulation of the simple theory of types – Alonzo Church - 1940
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
1 The SCR approach to requirements specification and analysis – Stuart Faulk, Connie Heitmeyer - 1997
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
10 Reasoning about partial functions with the aid of a computer – W M Farmer - 1995
9 Formalizing undefinedness arising in calculus – William M. Farmer - 2004
49 The Objective Caml System – X Leroy
12 An Overview of A Formal Framework For Managing Mathematics – William M. Farmer, Martin V. Mohrenschildt - 2003
53 Precise documentation of well-structured programs – D L Parnas, J Madey, M Iglewski - 1994
19 The Seven Virtues of Simple Type Theory – William M. Farmer - 2003
206 PVS: Combining Specification, Proof Checking, and Model Checking – S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas - 1996
1098 The Z Notation: a reference manual – J Michael Spivey - 1992
367 ML for the Working Programmer – Laurence C Paulson - 1991
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