Automated Technology for Verification and Analysis
2 contributors - Paperback
£64.99
Computer Aided Verification
£34.99