Automated Technology for Verification and Analysis
3 contributors - Paperback
£44.99
Partial Order Methods in Verification
3 contributors - Hardback
£104.00
Subscribe to our newsletter, and stay in the loop: