Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Verification, Model Checking, And Abstract Interpretation
Verification, Model Checking, And Abstract Interpretation
4th International Conference, Vmcai 2003, New York, NY, USA, January 9-11, 2003, Proceedings »