Automated Technology for Verification and Analysis
de S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Ediciones (1)
- Automated Technology for Verification and Analysis (2025)
Springer · inglés · ISBN 9783031787492
de S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Springer · inglés · ISBN 9783031787492