Matching logic: a new program verification approach.

Grigore Rosu, Andrei Stefanescu

Browse the full ICSE paper archive.