@proceedings{'MCA7',
title = {Verification, Model Checking, and Abstract Interpretation (VMCAI) },
month = {jan},
year = {2017},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10145},
team = {PACSS},
entrysubtype = {intc-chair},
}