View of Semi-automatic Proofs about Object Graphs in Separation Logic

Return to Article Details Semi-automatic Proofs about Object Graphs in Separation Logic Download Download PDF