Related Books
Language: en
Pages: 335
Pages: 335
Type: BOOK - Published: 2003 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, hel
Language: en
Pages: 335
Pages: 335
Type: BOOK - Published: 2003-07-01 - Publisher: Springer
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New Y
Language: en
Pages: 323
Pages: 323
Type: BOOK - Published: 2003 - Publisher:
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New Y
Language: en
Pages: 344
Pages: 344
Type: BOOK - Published: 2004-01-07 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, hel