ACM SIGPLAN - [PLDI24] Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
Sign in to continue reading, translating and more.
