Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings

Detalles Bibliográficos
Autores principales: Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2763992
Descripción
Descripción no disponible.

Ejemplares similares