Title | Decomposing Farkas Interpolants |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha |
Conference Name | TACAS |
Full Text |
Title | Decomposing Farkas Interpolants |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha |
Conference Name | TACAS |
Full Text |