DOI,IST REx ID,Title of publication
10.1145/3622823,17498,Melocoton: A program logic for verified interoperability between OCaml and C