Emmi, Michael books & textbook
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science)
Dragoi, Cezara Emmi, Michael Wang, Jingbo
Springer /2023-01-17 Paperback / 400 Pages
isbn-10: 3031249496 / isbn-13: 9783031249495
