Memory Usage Verification Using Hip/Sleek - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin. Memory Usage Verification Using Hip/Sleek. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 166-181, Springer, 2009. [doi]

This author has not been identified. Look up 'Guanhua He' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Chenguang Luo' in GoogleThis author has not been identified. Look up 'Wei-Ngan Chin' in Google

runs on WebDSL