Tenth International Symposium on
Automated Technology for Verification and Analysis (ATVA) 2012
Thiruvananthapuram (Trivandrum), Kerala, October 3–6, 2012
Sponsors
ATVA 2012 is primarily sponsored and organised by
The list of other sponsors currently includes:
|
|
|