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

by Marieke Huisman