Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings - Hung, Dang Van; Ogawa, Mizuhito (Springer International Publishing : Imprint: Springer, 2013)