Documents Related by Co-Citation

739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
310 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof – P Andrews - 2002
543 Perspectives on Program Analysis – Flemming Nielson - 1996
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
857 A formulation of the simple theory of types – Alonzo Church - 1940
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
1351 A calculus of communicating systems – R Milner - 1980