Automated Technology for Verification and Analysis

Elemento

Título (dcterms:title)

Automated Technology for Verification and Analysis

Autores (dcterms:creator)

Finkbeiner

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-24952-0

eBook (bibo:isbn13)

978-3-319-24953-7

PDF (bibo:uri)

https://cutt.ly/2hvFKQY

EPUB (foaf:workInfoHomepage)

https://cutt.ly/9hvFVId

Colecciones

Springer

Position: 1848 (2 views)