Automated Technology for Verification and Analysis
de Shuvendu K. Lahiri, Chao Wang
Materias
Ediciones (1)
- Automated Technology for Verification and Analysis (2018)
Springer International Publishing AG · inglés · ISBN 9783030010898
de Shuvendu K. Lahiri, Chao Wang
Springer International Publishing AG · inglés · ISBN 9783030010898