From Hoare Logic to Matching Logic Reachability.

Grigore Rosu, Andrei Stefanescu

Browse the full FM paper archive.