Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, october 7-10, 2018, proceedings /
Formato: | Libro |
---|---|
Publicado: |
c2018.
|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, october 14-16, 2009. Proceedings /
Publicado: (2009) -
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 : 17th International Symposium, ATVA 2019, Taipei, Taiwan, october 28–31, 2019, proceedings /
Publicado: (2019) -
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 : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Publicado: (2013)