NASA Formal Methods
5 contributors - Paperback
£74.99
Formal Methods for Industrial Critical Systems
2 contributors - Paperback
£54.99
3 contributors - Paperback
£109.99
Logic-Based Program Synthesis and Transformation
£49.99
