Thread Quantification for Concurrent Shape Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Josh Berdine, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Shmuel Sagiv. Thread Quantification for Concurrent Shape Analysis. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 399-413, Springer, 2008. [doi]

This author has not been identified. Look up 'Josh Berdine' in GoogleThis author has not been identified. Look up 'Tal Lev-Ami' in GoogleThis author has not been identified. Look up 'Roman Manevich' in GoogleIdentified as Ganesan Ramalingam This author has not been identified. Look up 'Shmuel Sagiv' in Google

runs on WebDSL