Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings

Detalles Bibliográficos
Autores principales: Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756759
Descripción
Descripción no disponible.

Ejemplares similares