Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings

Detalles Bibliográficos
Autores principales: Lahiri, Shuvendu K, Wang, Chao
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761563

Internet

http://cds.cern.ch/record/2761563

Ejemplares similares