DMCA

Semi-automatic Proofs about Object Graphs in Separation Logic (2012)

by Holger Gast