Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /

Similar Items

• Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /
  Published: (2018)
• Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /
  Published: (2016)
• Automated technology for verification and analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, october 11-14, 2011. Proceedings /
  Published: (2010)
• Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, october 12-15, 2015, proceedings /
  Published: (2015)
• Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28-31, 2019, proceedings /
  Published: (2019)