CourbotPGV06'

BibTeX

@inproceedings{DBLP:conf/cardis/CourbotPGV06,
  author    = {Alexandre Courbot and
               Mariela Pavlova and
               Gilles Grimaud and
               Jean-Jacques Vandewalle},
  title     = {A Low-Footprint Java-to-Native Compilation Scheme Using
               Formal Methods},
  booktitle = {CARDIS},
  year      = {2006},
  pages     = {329-344},
  ee        = {http://dx.doi.org/10.1007/11733447_24},
  crossref  = {DBLP:conf/cardis/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cardis/2006,
  editor    = {Josep Domingo-Ferrer and
               Joachim Posegga and
               Daniel Schreckling},
  title     = {Smart Card Research and Advanced Applications, 7th IFIP
               WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona,
               Spain, April 19-21, 2006, Proceedings},
  booktitle = {CARDIS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3928},
  year      = {2006},
  isbn      = {3-540-33311-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}