View Item 

Mechanizing Matching Logic In Coq

Bereczky, Péter; Chen, Xiaohong; Horpácsi, Dániel; Peña, Lucas; Tušil, Jan
Date: 2022
URI: http://hdl.handle.net/10831/113482
MTMT: 33101165
DOI: 10.4204/EPTCS.369.2

Show full item record

Files in this item

Mechanizing Matching Logic In Coq
Name: 33101165.pdf
Size: 297.8Kb
Format: PDF
View/Open
 
Nevezd meg! CC BY
Except where otherwise noted, this item's license is described as Nevezd meg! CC BY