Matching Logic A New Program Verification Approach
Matching Logic - A New Program Verification Approach -