.:. Consultation > Par auteur > Appel .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Separation Logic for Small-step Cminor (extended version) Appel A. W. W., Blazy S. N° RR-6138 (2007) [inria-00134699 - version 5]

A list-machine benchmark for mechanized metatheory Appel A. W. W., Leroy X. N° RR-5914 (2006) [inria-00077531 - version 1]