%0 Conference Paper %1 conf/cardis/CourbotPGV06 %A Courbot, Alexandre %A Pavlova, Mariela %A Grimaud, Gilles %A Vandewalle, Jean-Jacques %B CARDIS %D 2006 %E Domingo-Ferrer, Josep %E Posegga, Joachim %E Schreckling, Daniel %I Springer %K dblp %P 329-344 %T A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. %U http://dblp.uni-trier.de/db/conf/cardis/cardis2006.html#CourbotPGV06 %V 3928 %@ 3-540-33311-8

@inproceedings{conf/cardis/CourbotPGV06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Courbot, Alexandre and Pavlova, Mariela and Grimaud, Gilles and Vandewalle, Jean-Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2bf8b60d96016745126471cfa634284eb/dblp}, booktitle = {CARDIS}, crossref = {conf/cardis/2006}, editor = {Domingo-Ferrer, Josep and Posegga, Joachim and Schreckling, Daniel}, ee = {https://doi.org/10.1007/11733447_24}, interhash = {a92e3080c99fabd2d539cdaba2847d85}, intrahash = {bf8b60d96016745126471cfa634284eb}, isbn = {3-540-33311-8}, keywords = {dblp}, pages = {329-344}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:22:19.000+0200}, title = {A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/cardis/cardis2006.html#CourbotPGV06}, volume = 3928, year = 2006 }