Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, U, (Paperback)

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, U, (Paperback) Author: Springer ISBN: 9783030393212 Format: Paperback Publication Date: 2020-02-07 Page Count: 471

Shipping & Returns

Product image 1
Price unavailable
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, U, (Paperback)
$158.00