NASA Formal Methods
de Ritchie Lee, Susmit Jha, Anastasia Mavridou
Ediciones (1)
- NASA Formal Methods (2020)
Springer International Publishing AG · inglés · ISBN 9783030557539
de Ritchie Lee, Susmit Jha, Anastasia Mavridou
Springer International Publishing AG · inglés · ISBN 9783030557539