Automated Technology for Verification and Analysis
de Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Ediciones (1)
- Automated Technology for Verification and Analysis (2019)
Springer · ISBN 9783030317836
de Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Springer · ISBN 9783030317836