Computing Specification-Sensitive Abstractions for Program Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri. Computing Specification-Sensitive Abstractions for Program Verification. In Martin Fränzle, Deepak Kapur, Naijun Zhan, editors, Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Volume 9984 of Lecture Notes in Computer Science, pages 101-117, 2016. [doi]

This author has not been identified. Look up 'Tianhai Liu' in GoogleThis author has not been identified. Look up 'Shmuel S. Tyszberowicz' in GoogleThis author has not been identified. Look up 'Mihai Herda' in GoogleThis author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Daniel Grahl' in GoogleThis author has not been identified. Look up 'Mana Taghdiri' in Google

runs on WebDSL