Formal Methods for Industrial Critical Systems
2 contributors - Paperback
£44.99
Runtime Verification
Contracts for System Design
5 authors - Paperback
£85.00
