Formal Methods for Industrial Critical Systems
de Jan Friso Groote, Marieke Huisman
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2022)
Springer International Publishing AG · inglés · ISBN 9783031150074
de Jan Friso Groote, Marieke Huisman
Springer International Publishing AG · inglés · ISBN 9783031150074
