Kim Guldstrand Larsen Editor

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£44.99

Dependable Software Engineering. Theories, Tools, and Applications

3 contributors - Paperback

£44.99

Reachability Problems

3 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Formal Methods for Industrial Critical Systems

2 contributors - Paperback

£44.99

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99