Model Checking
5 authors - Hardback
£72.00
Computer Aided Verification
2 contributors - Paperback
£89.99