Reasoning about JAVA programs in higher order logic with PVS and Isabelle. IPA dissertation series (2001)

by Marieke Huisman