@InProceedings{Fur12-ATVA12, author = {Carlo A. Furia}, title = {A Verifier for Functional Properties of Sequence-Manipulating Programs}, booktitle = {Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12)}, pages = {183--186}, year = {2012}, editor = {Supratik Chakraborty and Madhavan Mukund}, volume = {7561}, series = {Lecture Notes in Computer Science}, month = {October}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/furia/pubs/atva12.pdf} }