Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Detalles Bibliográficos
Autores principales: Enea, Constantin, Piskac, Ruzica
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755306
Descripción
Descripción no disponible.

Ejemplares similares