Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings

Detalles Bibliográficos
Autores principales: Ábrahám, Erika, Huisman, Marieke
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764135
Descripción
Descripción no disponible.

Ejemplares similares