Juan Manuel Crespo

	2011
3		Gilles Barthe, Juan Manuel Crespo, César Kunz: Relational Verification Using Product Programs. FM 2011: 200-214
2		Juan Manuel Crespo, César Kunz: A Machine-Checked Framework for Relational Separation Logic. SEFM 2011: 122-137
	2008
1		Juan Manuel Crespo, Gustavo Betarte, Carlos Luna: A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63

Coauthor Index

1	Gilles Barthe	[3]
2	Gustavo Betarte	[1]
3	César Kunz	[2] [3]
4	Carlos Daniel Luna (Carlos Luna)	[1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page