Computer Aided Verification
2 contributors - Paperback
£34.99
Program Proofs
2 authors - Paperback
£67.00
Subscribe to our newsletter, and stay in the loop:
