Cyclic proofs of program termination in separation logic. Forthcoming

by James Brotherston
Citations:12 - 3 self