DMCA

Separation logic adapted for proofs by rewriting

by Magnus O. Myreen
Citations:1 - 0 self