![]() | ![]() |
| 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 | |
| 1 | Manuel Montenegro | [3] |
| 2 | Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena) | [1] [2] [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page