Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings

Detalles Bibliográficos
Autores principales: Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760406
Descripción
Descripción no disponible.

Ejemplares similares