Ricardo Peña-Marí

Publications (2)0 Total impact

• Source

  Available from: dalila.sip.ucm.es

  Conference Proceeding: Formal Certification of a Resource-Aware Language Implementation.

  Javier de Dios, Ricardo Peña-Marí
  Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings; 01/2009
• Conference Proceeding: A Certified Implementation on Top of the Java Virtual Machine.

  Javier de Dios, Ricardo Peña-Marí
  Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings; 01/2009