Deepak D'souza Author & Editor

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£54.99

Model checking trace-based information flow properties

3 authors - Paperback

£40.67

Modern Applications Of Automata Theory

2 contributors - Hardback

£215.00

Automated Technology for Verification and Analysis

2 contributors - Paperback

£44.99