Gustavo Betarte

	2008
4		Juan Manuel Crespo, Gustavo Betarte, Carlos Luna: A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63
	2006
3		Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234
	2000
2		Gustavo Betarte: Type checking dependent (record) types and subtyping. J. Funct. Program. 10(2): 137-166 (2000)
	1999
1		Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93

Coauthor Index

1	Santiago Zanella Béguelin	[3]
2	Cristina Cornes	[1]
3	Juan Manuel Crespo	[4]
4	Carlos Luna	[3] [4]
5	Nora Szasz	[1]
6	Alvaro Tasistro	[1]

Colors in the list of coauthors