Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification Andrei Arusoaie and Dorel Lucanu FROM 2022: 1-16 Project(s): DOI BIB
