Original language | English |
---|---|
Pages (from-to) | 17-37 |
Number of pages | 21 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 369 |
DOIs | |
Publication status | Published (VoR) - 19 Sept 2022 |
Event | 6th Working Formal Methods Symposium, FROM 2022 - Iasi, Romania Duration: 19 Sept 2022 → 20 Sept 2022 |
Mechanizing Matching Logic In Coq
Péter Bereczky, Xiaohong Chen, Dániel Horpácsi, Lucas Peña, Jan Tušil
Research output: Contribution to journal › Conference article › peer-review
5
Citations
(SciVal)