Crimps: Indexical Separation Logics for Order-Invariant Specifications
Unknown authors
· 0 citations
· 53 references