Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexey Loginov, Thomas W. Reps, Mooly Sagiv. Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. In Kwangkeun Yi, editor, Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Volume 4134 of Lecture Notes in Computer Science, pages 261-279, Springer, 2006. [doi]

This author has not been identified. Look up 'Alexey Loginov' in GoogleIdentified as Thomas W. Reps This author has not been identified. Look up 'Mooly Sagiv' in Google

runs on WebDSL