Computers - Computer Science

Verification Model Checking and Abstract Interpretation 22nd International Conference VMCAI 2021 Copenhagen Denmark January 17 19 2021 Proceedings 1st Edition Fritz Henglein (Editor)