NASA Formal Methods
4 contributors - Paperback
£64.99
Verified Software: Theories, Tools and Experiments
2 contributors - Paperback
£39.99
Subscribe to our newsletter, and stay in the loop: