Hacker Next
Certified Decision Procedures for Width-Independent Bitvector Predicatesdl.acm.org
1 point by luu 10 hours ago | 0 comments