Automated Technology for Verification and Analysis
de Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Materias
Ediciones (2)
- Automated Technology for Verification and Analysis (2015)
Springer London, Limited · inglés · ISBN 9783319249537
- Automated Technology for Verification and Analysis (2015)
Springer International Publishing AG · inglés · ISBN 9783319249520
