Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings - Dang Hung, Mizuhito Ogawa ((Lecture Notes in Computer Science))