Computer aided verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, july 21-24, 2020, Proceedings /

Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: c2014.
Acceso en línea:Ver documento en línea (Part I)
Ver documento en línea (Part II)
Ver documento en línea (Part I)
Ver documento en línea (Part II)

Ejemplares similares