Electronic Books

Total Books: 201 - 201 /201
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. ...

Weiterlesen
Total Books: 201 - 201 /201