Title | Farkas-Based Tree Interpolation |
Publication Type | Conference Paper |
Year of Publication | 2020 |
Authors | Asadi, Sepideh, Blicha Martin, Hyvärinen Antti, Fedyukovich Grigory, and Sharygina Natasha |
Conference Name | SAS 2020 - 27th Static Analysis Symposium |
Publisher | Springer |
Conference Location | Online Conference |
Full Text |