Automated Technology for Verification and Analysis
3 contributors - Paperback
£44.99
Model Checking
5 authors - Hardback
£72.00
