NASA Formal Methods
4 contributors - Paperback
£64.99
Formal Methods for Industrial Critical Systems
2 contributors - Paperback
£44.99