Capturing Initial and Final Semantics in Matching Logic Publications 2022 Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification Andrei Arusoaie and Dorel Lucanu DOI BIB 2021 Matching logic explained Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB 2019 Matching Logic Explained Dorel Lucanu BIB
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification Andrei Arusoaie and Dorel Lucanu DOI BIB
