Computer aided verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
Formato: | Libro |
---|---|
Lenguaje: | English |
Publicado: |
c2009.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Computer aided verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, july 21–24, 2020, Proceedings /
Publicado: (2014) -
Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings /
Publicado: (2016) -
Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado: (2010) -
Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /
Publicado: (2017) -
Computer aided verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /
Publicado: (2008)