10th International Symposium on Automated Technology for Verification and Analysis
Event date
October 3-6, 2012
Location
Thiruvananthapuram, India
results
10th International Symposium on Automated Technology for Verification and Analysis
October 3-6, 2012
Thiruvananthapuram, India