Java program verification in higher order logic with PVS and Isabelle (2001)

by M Huisman