Ludovic Henrio, Bernard P. Serpette. A Parametrized Polyvariant Bytecode Verifier. In Jean-Christophe Filliâtre, editor, Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003. Collection Didactique, pages 95-110, INRIA, 2003.
@inproceedings{HenrioS03,
title = {A Parametrized Polyvariant Bytecode Verifier},
author = {Ludovic Henrio and Bernard P. Serpette},
year = {2003},
researchr = {https://researchr.org/publication/HenrioS03},
cites = {0},
citedby = {0},
pages = {95-110},
booktitle = {Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003},
editor = {Jean-Christophe Filliâtre},
series = {Collection Didactique},
publisher = {INRIA},
}