Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings

Detalles Bibliográficos
Autores principales: Duan, Zhenhua, Ong, Luke
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761266

Internet

http://cds.cern.ch/record/2761266

Ejemplares similares