Automated Technology for Verification and Analysis
Elemento
Título (dcterms:title)
Automated Technology for Verification and Analysis
Autores (dcterms:creator)
Hung
Año Publicación (dcterms:date)
2013
Editorial (dcterms:publisher)
Springer International Publishing
ISBN (bibo:isbn)
978-3-319-02443-1
eBook (bibo:isbn13)
978-3-319-02444-8
PDF (bibo:uri)
Colecciones
Position: 1848 (2 views)