NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings

Detalles Bibliográficos
Autores principales: Badger, Julia M, Rozier, Kristin Yvonne
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755621
Descripción
Descripción no disponible.

Ejemplares similares