Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers

Detalles Bibliográficos
Autores principales: Blazy, Sandrine, Chechik, Marsha
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757905

Internet

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

Ejemplares similares