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