Farkas-Based Tree Interpolation

TitleFarkas-Based Tree Interpolation
Publication TypeConference Paper
Year of Publication2020
AuthorsAsadi, Sepideh, Blicha Martin, Hyvärinen Antti, Fedyukovich Grigory, and Sharygina Natasha
Conference NameSAS 2020 - 27th Static Analysis Symposium
PublisherSpringer
Conference LocationOnline Conference
URLhttps://link.springer.com/chapter/10.1007%2F978-3-030-65474-0_16
Full Text