ISBN 9783030670665 books & textbook
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, ... Computer Science and General Issues)
Henglein, Fritz Shoham, Sharon Vizel, Yakir
Springer /2021-01-12 Paperback / 620 Pages
isbn-10: 303067066X / isbn-13: 9783030670665
