DOI,IST REx ID,Title of publication
10.1145/3563345,17501,BFF: Foundational and automated verification of bitfield-manipulating programs