Automated Technology for Verification and Analysis
de Étienne André, Jun Sun
Ediciones (2)
- Automated Technology for Verification and Analysis (2023)
Springer · inglés · ISBN 9783031453281
- Automated Technology for Verification and Analysis (2023)
Springer · inglés · ISBN 9783031453311
