Electronic Books

Total Books: 201 - 201 /201
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Continue reading
Total Books: 201 - 201 /201