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
Full Text