Decomposing Farkas Interpolants

TitleDecomposing Farkas Interpolants
Publication TypeConference Paper
Year of Publication2019
AuthorsBlicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha
Conference NameTACAS