Formal Methods for Industrial Critical Systems
de Kim Guldstrand Larsen, Tim Willemse
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2019)
Springer · ISBN 9783030270070
de Kim Guldstrand Larsen, Tim Willemse
Springer · ISBN 9783030270070
