FM 2015: Formal Methods

Elemento

Título
FM 2015: Formal Methods
Autores
Bjørner
Año Publicación
2015
Editorial
Springer International Publishing
ISBN
978-3-319-19248-2
eBook
978-3-319-19249-9
Colecciones
Springer