Browsing by author "Rapoport, Marianna"
Now showing items 1-1 of 1
-
The Future is Ours: Prophecy Variables in Separation Logic
Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart (2020)