The synergy of precise and fast abstractions for program verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich. The synergy of precise and fast abstractions for program verification. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 566-573, ACM, 2009. [doi]

This author has not been identified. Look up 'Natasha Sharygina' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in GoogleThis author has not been identified. Look up 'Aliaksei Tsitovich' in Google

runs on WebDSL