Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Ejemplares similares

• Computer aided verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, july 21-24, 2020, Proceedings /
  Publicado: (2014)
• Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
  Publicado: (2013)
• Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings /
  Publicado: (2016)
• Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /
  Publicado: (2017)
• Computer aided verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
  Publicado: (2018)