Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is I and Author is Sepideh Asadi  [Clear All Filters]
2020
Incremental Verification by SMT-based Summary Repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , 20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020, (2020)