Interactive Theorem Proving
3 contributors - Paperback
£44.99
Verified Software. Theories, Tools, and Experiments
2 contributors - Paperback
Static Analysis
Subscribe to our newsletter, and stay in the loop:
