Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, october 20-23, 2008. Proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2008.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, october 19–23, 2020, proceedings /
Publicado: (2020) -
Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, october 17-20, 2016, proceedings /
Publicado: (2016) -
Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, october 3–6, 2017, Proceedings /
Publicado: (2017) -
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, october 3-6, 2012. Proceedings /
Publicado: (2012) -
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado: (2017)