External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Matching Logic: An Alternative to Hoare/Floyd Logic

Grigore Rosu, Chucky Ellison, Wolfram Schulte. Matching Logic: An Alternative to Hoare/Floyd Logic. In Michael Johnson, Dusko Pavlovic, editors, Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Volume 6486 of Lecture Notes in Computer Science, pages 142-162, Springer, 2010. [doi]

Authors

Grigore Rosu

Identified as Grigore Rosu

Chucky Ellison

This author has not been identified. Look up 'Chucky Ellison' in Google

Wolfram Schulte

This author has not been identified. It may be one of the following persons: Look up 'Wolfram Schulte' in Google
runs on