Alexey Loginov, Thomas W. Reps, Mooly Sagiv
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
SAS, 2006.
@inproceedings{SAS-2006-LoginovRS, author = "Alexey Loginov and Thomas W. Reps and Mooly Sagiv", booktitle = "{Proceedings of the 13th International Static Analysis Symposium}", doi = "10.1007/11823230_17", isbn = "3-540-37756-5", pages = "261--279", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm}", volume = 4134, year = 2006, }