Automated Technology for Verification and Analysis
3 contributors - Paperback
£64.99
Theoretical Aspects of Software Engineering
2 contributors - Paperback
£59.99