Formal Methods for Industrial Critical Systems
de María Alpuente, Byron Cook, Christophe Joubert
Ediciones (1)
- Formal Methods for Industrial Critical Systems (2009)
Springer London, Limited · inglés · ISBN 9783642045707
de María Alpuente, Byron Cook, Christophe Joubert
Springer London, Limited · inglés · ISBN 9783642045707
