Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
- Editors
- (view affiliations)
Conference proceedings
VMCAI 2019
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11388)
Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11388)