Publications
Export 2 results:
Author [ Title] Type Year Filters: First Letter Of Title is F and Author is Sepideh Asadi [Clear All Filters]
Farkas-Based Tree Interpolation,
, SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)
Function Summarization Modulo Theories,
, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)