Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings

Detalles Bibliográficos
Autores principales: Dillig, Isil, Palsberg, Jens
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761509

Internet

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

Ejemplares similares