Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings

Detalles Bibliográficos
Autores principales: Polikarpova, Nadia, Schneider, Steve
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756857
Descripción
Descripción no disponible.

Ejemplares similares