Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings by Dang Van Hung

download center

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

Dang Van Hung - Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Enter the sum