Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, november 3-7, 2014, proceedings /

Similar Items

• 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 : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /
  Published: (2009)
• 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 : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /
  Published: (2012)
• Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings /
  Published: (2010)