%0 Conference Paper %1 journals/entcs/NavasMH09 %A Navas, Jorge A. %A Méndez-Lojo, Mario %A Hermenegildo, Manuel V. %B BYTECODE@ETAPS %D 2009 %E Albert, Elvira %E Genaim, Samir %I Elsevier %K dblp %N 5 %P 65-82 %T User-Definable Resource Usage Bounds Analysis for Java Bytecode. %U http://dblp.uni-trier.de/db/conf/bytecode/bytecode2009.html#NavasMH09 %V 253

@inproceedings{journals/entcs/NavasMH09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Navas, Jorge A. and Méndez-Lojo, Mario and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2a15f5fadd2cbda84204f77ddf13f0949/dblp}, booktitle = {BYTECODE@ETAPS}, crossref = {conf/bytecode/2009}, editor = {Albert, Elvira and Genaim, Samir}, ee = {https://doi.org/10.1016/j.entcs.2009.11.015}, interhash = {9caaefda6c4823fac70da681cc29fba7}, intrahash = {a15f5fadd2cbda84204f77ddf13f0949}, keywords = {dblp}, number = 5, pages = {65-82}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T18:18:07.000+0200}, title = {User-Definable Resource Usage Bounds Analysis for Java Bytecode.}, url = {http://dblp.uni-trier.de/db/conf/bytecode/bytecode2009.html#NavasMH09}, volume = 253, year = 2009 }