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