Automated Technology for Verification and Analysis
3 contributors - Paperback
£44.99
Model Checking
5 authors - Hardback
£72.00
Partial Order Methods in Verification
3 contributors - Hardback
£111.00