Verification, Model Checking, and Abstract Interpretation
Subtitle: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Publisher: Springer
Published: Jan 11, 2019
Format: paperback
Number of pages: 619
ISBN-13: 9783030112448
Description: pages cm
Notes: Source title: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science (11388))