SMT-based verification of program changes through summary repair
基于SMT的程序变更验证，通过简要修复进行验证
期刊:Formal Methods in System Design
影响因子:0.8
doi:10.1007/s10703-023-00423-0
Asadi, Sepideh; Blicha, Martin; Hyvärinen, Antti E J; Fedyukovich, Grigory; Sharygina, Natasha
