Tenth International Symposium on
Automated Technology for Verification and Analysis, ATVA 2012
Thiruvananthapuram (Trivandrum), Kerala, October 3-6, 2012
Home
Call for Papers
Proceedings
Committees
Invited Speakers
Registration
Accepted Papers
Tutorials
Programme
Venue
Local Information
Contact
Sponsors