Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Sepideh Asadi and First Letter Of Title is S  [Clear All Filters]
2023
SMT‑based verification of program changes through summary repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , Formal Methods in System Design, 05/2023, (2023)