7 results · clear filters Sort: newest oldest name

1. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   series, 22 events, 2004 to 2025
   Computer and information sciences
   s109911
2. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2009-10-14/16 · Macau
   Computer and information sciences
   e100x8h
3. International Symposium on Automated Technology for Verification and Analysis (ATVA 2008, ATVA)
   2008-10-20/23 · Seoul, South Korea
   Computer and information sciences
   e100x7k
4. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2007-10-22/25 · Tokyo, Japan
   Computer and information sciences
   e100x6n
5. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2006-10-23/26 · Beijing, People's Republic of China
   Computer and information sciences
   e100x5q
6. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2005-10-04/07 · Taipei, Taiwan
   Computer and information sciences
   e100x4s
7. International Symposium on Automated Technology for Verification and Analysis (ATVA)
   2004-10-31 to 2004-11-03 · Taiwan Island, Taiwan
   Computer and information sciences
   e100x3v

As JSON: https://labs.confref.org/api/search?series=s109911&from=2000&to=2009