Computer Aided Verification
Elemento
Título (dcterms:title)
Computer Aided Verification
Autores (dcterms:creator)
Kroening
Año Publicación (dcterms:date)
2015
Editorial (dcterms:publisher)
Springer International Publishing
ISBN (bibo:isbn)
978-3-319-21667-6
eBook (bibo:isbn13)
978-3-319-21668-3
PDF (bibo:uri)
EPUB (foaf:workInfoHomepage)
Colecciones
Position: 2937 (1 views)