DOI,IST REx ID,Title of publication
10.1145/3656413,17497,Quiver: Guided abductive inference of separation logic specifications in coq