DSpace at RU >

Browsing by Author Berg, J.A.G.M. van den

Full Text	Issue Date	Title	Author(s)
	2000	Formal specification and verification of JavaCard's application identifier class	Berg, J.A.G.M. van den; Jacobs, B.P.F.; Poll, E.
	2000	Specification of the JavaCard API in JML	Poll, E.; Berg, J.A.G.M. van den; Jacobs, B.P.F.
	2000	Formal specification of the JavaCard API in JML: the APDU class	Poll, E.; Berg, J.A.G.M. van den; Jacobs, B.P.F.
	2000	The LOOP compiler for Java and JML	Berg, J.A.G.M. van den; Jacobs, B.P.F.
	2000	A case study in Class Library Verification : Java's Vector Class	Huisman, M.; Jacobs, B.P.F.; Berg, J.A.G.M. van den
	1999	A type-theoretic memory model for verification of sequential Java programs	Berg, J.A.G.M. van den