
Software Verification
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783030636180
- Date de parution :6 déc. 2020
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :15.69 MB
- Options de téléchargement :EPUB3 (Adobe DRM)
