%0 Conference Paper %1 conf/fmoods/AlbertACGPZ08 %A Albert, Elvira %A Arenas, Puri %A Codish, Michael %A Genaim, Samir %A Puebla, Germán %A Zanardini, Damiano %B FMOODS %D 2008 %E Barthe, Gilles %E de Boer, Frank S. %I Springer %K dblp %P 2-18 %T Termination Analysis of Java Bytecode. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#AlbertACGPZ08 %V 5051 %@ 978-3-540-68862-4

@inproceedings{conf/fmoods/AlbertACGPZ08, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Arenas, Puri and Codish, Michael and Genaim, Samir and Puebla, Germán and Zanardini, Damiano}, biburl = {https://www.bibsonomy.org/bibtex/214741eb29db452bf55552c4b119289a6/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/2008}, editor = {Barthe, Gilles and de Boer, Frank S.}, ee = {https://doi.org/10.1007/978-3-540-68863-1_2}, interhash = {f181825cfbba200092eef8acc186bd67}, intrahash = {14741eb29db452bf55552c4b119289a6}, isbn = {978-3-540-68862-4}, keywords = {dblp}, pages = {2-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:51:20.000+0200}, title = {Termination Analysis of Java Bytecode.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#AlbertACGPZ08}, volume = 5051, year = 2008 }