Cees-Bart Breunesse

	2005
2		Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs: Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005)
	2002
1		Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318

Coauthor Index

1	Joachim van den Berg	[1]
2	Néstor Cataño	[2]
3	Marieke Huisman	[2]
4	Bart Jacobs	[1] [2]