1364

An axiomatic basis for computer programming
– C. A. R. Hoare
 1969

130

A Logic of ObjectOriented Programs
– Martin Abadi, K. Rustan M. Leino
 1998

469

The Science of Programming
– D Gries
 1981

502

Introduction to HOL: A theorem proving environment for higherorder logic
– Michael J C Gordon, Thomas F Melham
 1993

118

Soundness and completeness of an axiom system for program verification
– Stephen A. Cook
 1978

66

Ten Years of Hoare's Logic: A Survey  Part l
– KRZYSZTOF R. APT
 1981

164

Isabelle: A Generic Theorem Prover, volume 828
– L C Paulson

1565

The Definition of Standard ML
– Robin Milner, Mads Tofte
 1990

29

formal veri for faulttolerant architectures: Prolegomena to the design of PVS
– S Owre, J Rushby, N Shankar, F von Henke
 1995

16

A typetheoretic memory model for veri of sequential Java programs
– J v d Berg, M Huisman, B Jacobs, E Poll
 2000

36

A programming logic for sequential Java
– A PoetzschHeter, P Muller
 1999

390

Preliminary design of JML: A behavioral interface specification language for Java
– Gary T. Leavens, Albert L. Baker, Clyde Ruby
 1998

34

Reasoning about Classes in ObjectOriented Languages: Logical Models and Tools
– Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
 1998

89

The Java Language Speci
– James Gosling, Bill Joy, Guy Steele
 1996

55

Mathematical Theory of Program Correctness
– J de Bakker
 1980

43

Ten years of Hoare’s logic: A survey—Part I
– K R Apt
 1981

765

The Java Programming Language
– K Arnold, J Gosling
 1996

88

Edinburgh LCF: A Mechanised Logic
– M J C Gordon, R Milner, C P Wadsworth
 1979

199

hol: A proof generating system for higherorder logic
– M J C Gordon
