String Abstractions for String Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fang Yu, Tevfik Bultan, Ben Hardekopf. String Abstractions for String Verification. In Alex Groce, Madanlal Musuvathi, editors, Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings. Volume 6823 of Lecture Notes in Computer Science, pages 20-37, Springer, 2011. [doi]

This author has not been identified. Look up 'Fang Yu' in GoogleThis author has not been identified. Look up 'Tevfik Bultan' in GoogleThis author has not been identified. Look up 'Ben Hardekopf' in Google

runs on WebDSL