Model Checking Software
de Alfons Laarman, Ana Sokolova
Ediciones (1)
- Model Checking Software (2021)
Springer International Publishing AG · inglés · ISBN 9783030846282
de Alfons Laarman, Ana Sokolova
Springer International Publishing AG · inglés · ISBN 9783030846282