Formal Systems Laboratory

Home People Publications

© 2021. All rights reserved.

Matching Logic: An Alternative to Hoare/Floyd Logic

Roşu, Grigore Ellison, Chucky Schulte, Wolfram
AMAST’10

Abstract.