Computer aided verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Ejemplares similares

• Computer aided verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /
  Publicado: (2011)
• Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
  Publicado: (2012)
• Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, july 18-24, 2015, Proceedings /
  Publicado: (2015)
• 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)