Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Martin Blicha and First Letter Of Title is I  [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)