%0 Conference Paper %1 conf/fmco/AlbertAGPZ07 %A Albert, Elvira %A Arenas, Puri %A Genaim, Samir %A Puebla, German %A Zanardini, Damiano %B FMCO %D 2007 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K dblp %P 113-132 %T COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#AlbertAGPZ07 %V 5382 %@ 978-3-540-92187-5

@inproceedings{conf/fmco/AlbertAGPZ07, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Arenas, Puri and Genaim, Samir and Puebla, German and Zanardini, Damiano}, biburl = {https://www.bibsonomy.org/bibtex/28e588d9cc67d6daf9f39c7be74c7d6ff/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2007}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {https://doi.org/10.1007/978-3-540-92188-2_5}, interhash = {2a61bb5a577eda508f2cb228ef0a5dce}, intrahash = {8e588d9cc67d6daf9f39c7be74c7d6ff}, isbn = {978-3-540-92187-5}, keywords = {dblp}, pages = {113-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:13:28.000+0200}, title = {COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#AlbertAGPZ07}, volume = 5382, year = 2007 }