Certified Decision Procedures for Width-Independent Bitvector Predicatesdl.acm.org2 points·luu··0 commentsOpen articleSaveView on HN