Separation logic adapted for proofs by rewriting (2010)

by Magnus Myreen
Venue:In Interactive Theorem Proving Conference