Continuous Reasoning with Gradual Verification

License: CC-3.0
Submitted by Regan Williams on