DOI,IST REx ID,Title of publication
10.1145/3453483.3454036,17505,RefinedC: Automating the foundational verification of C code with refined ownership types