Formal Systems Laboratory

Matching Logic: An Alternative to Hoare/Floyd Logic

Grigore Rosu and Chucky Ellison and Wolfram Schulte
AMAST'10 Springer, pp 142-162, June 2010
PDF BIB AMAST'10 Matching Logic

Abstract.