Java Program Verification in Higher-Order Logic with PVS and Isabelle (2001)

by Marieke Huisman