Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
de ,
- Idioma
- Inglés
- Publicado en
- Editorial
- Springer International Publishing
- Páginas
- 669
- ISBN
- 9783030532871
Temas
Detalles de la edición original
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Publicado originalmente en 2020
Idioma original
Inglés
Editorial original Springer International Publishing
Otras ediciones (3)
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer International Publishing
Inglés
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer Nature
Inglés
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
2020 • Springer Nature
Inglés