Germán Vidal
Closed Symbolic Execution for Verifying Program Termination
SCAM, 2012.
@inproceedings{SCAM-2012-Vidal, author = "Germán Vidal", booktitle = "{Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2012.13", isbn = "978-1-4673-2398-7", pages = "34--43", publisher = "{IEEE Computer Society}", title = "{Closed Symbolic Execution for Verifying Program Termination}", year = 2012, }