Abstraction and Refinement for Local Reasoning

by Thomas Dinsdale-young , Mark Wheelhouse
Citations:11 - 3 self