NASA Formal Methods

Elemento

Título
NASA Formal Methods
Autores
Havelund
Año Publicación
2015
Editorial
Springer International Publishing
ISBN
978-3-319-17523-2
eBook
978-3-319-17524-9
Colecciones
Springer