25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024
Abhinandan Pal, Francesco Ranzato*, Caterina Urban, Marco Zanella
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Fingerprint
Dive into the research topics of '25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024'. Together they form a unique fingerprint.