Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers

Detalles Bibliográficos
Autores principales: Gurfinkel, Arie, Seshia, Sanjit A
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756974

Internet

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

Ejemplares similares