Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers

Detalles Bibliográficos
Autores principales: Paskevich, Andrei, Wies, Thomas
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757021
Descripción
Descripción no disponible.

Ejemplares similares