Verification, Model Checking, and Abstract Interpretation
22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
AvFritz Henglein,Sharon Shoham
Häftad, Engelska, 2021
Del 12597 i serien Lecture Notes in Computer Science
987 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.