Formal Methods : Foundations and Applications
de Gustavo Carvalho, Volker Stolz
Ediciones (1)
- Formal Methods : Foundations and Applications (2020)
Springer International Publishing AG · inglés · ISBN 9783030638818
de Gustavo Carvalho, Volker Stolz
Springer International Publishing AG · inglés · ISBN 9783030638818