BACK TO INDEX

Publications of Laurent Hubert

Conference articles

  1. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, and Germán Puebla. Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. In PADL, pages 124-139, 2007. [PDF] [bibtex-entry]



BACK TO INDEX

This document was translated from BibTEX by bibtex2html