TY  - RPRT
TI  - Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification
AU  - Andrei Arusoaie
AU  - Dorel Lucanu
PY  - 2022
DO  - 10.4204/eptcs.369.1
UR  - https://arxiv.org/abs/2110.11700
ID  - 2110.11700
ER  -