NASA Formal Methods
5 contributors - Paperback
£74.99
Formal Methods for Industrial Critical Systems
2 contributors - Paperback
£54.99
