Formal Methods for Industrial Critical Systems
de Alberto Lluch Lafuente, Anastasia Mavridou
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2021)
Springer International Publishing AG · inglés · ISBN 9783030852474
de Alberto Lluch Lafuente, Anastasia Mavridou
Springer International Publishing AG · inglés · ISBN 9783030852474
