Ahmed Bouajjani Editor

Automated Technology for Verification and Analysis

3 contributors - Paperback

£64.99

Verification, Model Checking, and Abstract Interpretation

2 contributors - Paperback

£44.99

Formal Techniques for Distributed Objects, Components, and Systems

2 contributors - Paperback

£44.99