Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings

Detalles Bibliográficos
Autores principales: Artho, Cyrille, Legay, Axel, Peled, Doron
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761683

Internet

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

Ejemplares similares