1352

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

130

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

466

The Science of Programming
– David Gries
 1987

497

Introduction to HOL – A theorem proving environment for higher order logic
– M J C Gordon, T F Melham
 1993

116

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

54

Programming Language Theory and its Implementation
– M Gordon
 1988

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
 1994

1559

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, D Holmes
 2000

87

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