NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings

Detalles Bibliográficos
Autores principales: Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764240

Internet

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

Ejemplares similares