Cargando…

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings

Detalles Bibliográficos
Autores principales: Cavalheiro, Simone, Fiadeiro, José
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764255

Ejemplares similares