Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /

Similar Items

• Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3-6, 2017, Proceedings /
  Published: (2017)
• Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
  Published: (2008)
• Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28-31, 2019, proceedings /
  Published: (2019)
• Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19-23, 2020, proceedings /
  Published: (2020)
• Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
  Published: (2013)