Dang Van Hung Books
Automated Technology for Verification and Analysis
By Dang Van Hung, Mizuhito Ogawa
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27...
Read More