DOI,IST REx ID,Title of publication
10.1145/3704856,21053,Formal foundations for translational separation logic verifiers