Verified Software. Theories, Tools and Experiments
2 contributors - Paperback
£44.99
Runtime Verification
Computer Aided Verification
2 authors - Paperback
£51.70
£48.20
2 authors - Hardback
£52.20
£55.70
