Automated Technology for Verification and Analysis
de Zhe Hou, Vijay Ganesh
Ediciones (1)
- Automated Technology for Verification and Analysis (2021)
Springer International Publishing AG · inglés · ISBN 9783030888848
de Zhe Hou, Vijay Ganesh
Springer International Publishing AG · inglés · ISBN 9783030888848
