Alejandro Tamalet

	2009
2		Marieke Huisman, Alejandro Tamalet: A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354
1		Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers: Preemption Abstraction. FMICS 2009: 149-164

Coauthor Index

1	Marko C. J. D. van Eekelen	[1]
2	Marieke Huisman	[2]
3	Erik Schierboom	[1]
4	Sjaak Smetsers (J. E. W. Smetsers)	[1]
5	Hendrik Tews	[1]