Akash Lal Editor

Verified Software. Theories, Tools and Experiments.

2 contributors - Paperback

£44.99

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£54.99

Computer Aided Verification

2 contributors - Paperback

£34.99

Computer Aided Verification

2 contributors - Paperback

£34.99