Formal Methods and Software Engineering
de Shang-Wei Lin, Zhe Hou, Brendan Mahoney
Ediciones (1)
- Formal Methods and Software Engineering (2020)
Springer International Publishing AG · inglés · ISBN 9783030634056
de Shang-Wei Lin, Zhe Hou, Brendan Mahoney
Springer International Publishing AG · inglés · ISBN 9783030634056