Related Books
Language: en
Pages: 520
Pages: 520
Type: BOOK - Published: 2022-01-14 - Publisher: Springer
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: 2020-01-14 - Publisher: Springer Nature
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 pape
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2017-01-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, he
Language: en
Pages: 406
Pages: 406
Type: BOOK - Published: 2010-01-08 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, he
Language: en
Pages: 430
Pages: 430
Type: BOOK - Published: 2011-01-11 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, he