most citedOutcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

13 citations

Showing cs.LOShow all

Nothing from here under that filter.

Their other years and fields are still on the left.