Decomposing Farkas Interpolants
Additional information
Authors
Sharygina N.,
Blicha M.,
Hyvärinen A.,
Kofron J.
Type
Article in conference proceedings
Year
2019
Language
English
Meeting name
25th TACAS 2019
Meeting place
Prague, Czech Republic
Meeting date
April 6-11, 2019
