Related Books
Language: en
Pages: 540
Pages: 540
Type: BOOK - Published: 2018-01-03 - Publisher: Springer
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, he
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: 507
Pages: 507
Type: BOOK - Published: 2014-01-03 - Publisher: Springer
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, hel
Language: en
Pages: 531
Pages: 531
Type: BOOK - Published: 2022-01-13 - Publisher: Springer Nature
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took
Language: en
Pages: 471
Pages: 471
Type: BOOK - Published: 2012-01-12 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, he
