%0 Conference Paper %1 conf/icst/AliasDFG13 %A Alias, Christophe %A Darte, Alain %A Feautrier, Paul %A Gonnord, Laure %B ICST Workshops %D 2013 %I IEEE Computer Society %K %P 238 %T Rank: A Tool to Check Program Termination and Computational Complexity. %U http://dblp.uni-trier.de/db/conf/icst/icstw2013.html#AliasDFG13 %@ 978-1-4799-1324-4

@inproceedings{conf/icst/AliasDFG13, added-at = {2023-12-13T01:59:41.000+0100}, author = {Alias, Christophe and Darte, Alain and Feautrier, Paul and Gonnord, Laure}, biburl = {https://www.bibsonomy.org/bibtex/2d46ce8e8497d46f8e0bc487eefab387c/admin}, booktitle = {ICST Workshops}, crossref = {conf/icst/2013w}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.75}, interhash = {79623c68765e1bef54ea07e97bab9c79}, intrahash = {d46ce8e8497d46f8e0bc487eefab387c}, isbn = {978-1-4799-1324-4}, keywords = {}, pages = 238, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:59:41.000+0100}, title = {Rank: A Tool to Check Program Termination and Computational Complexity.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2013.html#AliasDFG13}, year = 2013 }