Automated Technology for Verification and Analysis
Elemento
- Título
- Automated Technology for Verification and Analysis
- Autores
- Finkbeiner
- Año Publicación
- 2015
- Editorial
- Springer International Publishing
- ISBN
- 978-3-319-24952-0
- eBook
- 978-3-319-24953-7
- Colecciones
- Springer