Mechanizing Matching Logic In Coq

Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Lucas Peña, Jan Tušil

    Research output: Contribution to journalConference articlepeer-review

    3 Citations (SciVal)
    Original languageEnglish
    Pages (from-to)17-37
    Number of pages21
    JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
    Publication statusPublished (VoR) - 19 Sept 2022
    Event6th Working Formal Methods Symposium, FROM 2022 - Iasi, Romania
    Duration: 19 Sept 202220 Sept 2022


    Dive into the research topics of 'Mechanizing Matching Logic In Coq'. Together they form a unique fingerprint.

    Cite this