%0 Conference Paper %1 conf/scam/Vidal12 %A Vidal, Germán %B SCAM %D 2012 %I IEEE Computer Society %K dblp %P 34-43 %T Closed Symbolic Execution for Verifying Program Termination. %U http://dblp.uni-trier.de/db/conf/scam/scam2012.html#Vidal12 %@ 978-1-4673-2398-7

@inproceedings{conf/scam/Vidal12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/23b703200ee110b5d2aecab4ea4f9f69c/dblp}, booktitle = {SCAM}, crossref = {conf/scam/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/SCAM.2012.13}, interhash = {8c44e7bb166ff216c45e0f3132dd84dd}, intrahash = {3b703200ee110b5d2aecab4ea4f9f69c}, isbn = {978-1-4673-2398-7}, keywords = {dblp}, pages = {34-43}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:13:29.000+0200}, title = {Closed Symbolic Execution for Verifying Program Termination.}, url = {http://dblp.uni-trier.de/db/conf/scam/scam2012.html#Vidal12}, year = 2012 }