Javier de Dios

	2011
4		Javier de Dios, Ricardo Peña: Certification of Safe Polynomial Memory Bounds. FM 2011: 184-199
	2010
3		Javier de Dios, Manuel Montenegro, Ricardo Peña: Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM 2010: 305-319
	2009
2		Javier de Dios, Ricardo Peña-Marí: A Certified Implementation on Top of the Java Virtual Machine. FMICS 2009: 181-196
1		Javier de Dios, Ricardo Peña-Marí: Formal Certification of a Resource-Aware Language Implementation. TPHOLs 2009: 196-211

Coauthor Index

1	Manuel Montenegro	[3]
2	Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena)	[1] [2] [3] [4]

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