Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser. Certified Decision Procedures for Width-Independent Bitvector Predicates. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):2736-2758, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.