Vizel, Yakir books & textbook
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
Springer /2022-08-06 Paperback / 572 Pages
isbn-10: 3031131878 / isbn-13: 9783031131875
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
Springer /2022-08-08 Paperback / 576 Pages
isbn-10: 3031131843 / isbn-13: 9783031131844
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
