DSpace at RU >

Browsing by Author Huisman, Marieke

Full Text	Issue Date	Title	Author(s)
	2009	A Formal Connection between Security Automata and JML Annotations	Huisman, Marieke; Tamalet, Alejandro; Chechik, M.; Wirsing, M.
	2008	Reasoning about Java's Reentrant Locks	Haack, C.; Huisman, Marieke; Hurlin, Clement; Ramalingam, G.
	2008	Reasoning about Java's Reentrant Locks	Haack, Christian; Huisman, Marieke; Hurlin, Clement
	2001	Reasoning about Java programs in higher order logic using PVS and Isabelle	Huisman, Marieke
	1998	A comparison of PVS and Isabelle/HOL	Griffioen, David; Huisman, Marieke