Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Dang Van Hung, Mizuhito Ogawa, editors, Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Volume 8172 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: ATVA2013

Editors

Dang Van Hung

This author has not been identified. Look up 'Dang Van Hung' in Google

Mizuhito Ogawa

This author has not been identified. Look up 'Mizuhito Ogawa' in Google