Reasoning about Java programs in higher order logic using PVS and Isabelle

Research output: Thesis › PhD Thesis - Research external, graduation external

74 Downloads (Pure)

Original language	English
Awarding Institution	Radboud University Nijmegen
Award date	1 Feb 2001
Publisher	IPA
Print ISBNs	978-90-9014440-5
Publication status	Published - 2001
Externally published	Yes

Access to Document

@phdthesis{d26913d0b992455795ba182302b27f5f,

title = "Reasoning about Java programs in higher order logic using PVS and Isabelle",

author = "Marieke Huisman",

year = "2001",

language = "English",

isbn = "978-90-9014440-5",

series = "IPA dissertation series",

publisher = "IPA",

number = "2001-03",

type = "PhD Thesis - Research external, graduation external",

school = "Radboud University Nijmegen",

}