LRA Interpolants from No Man's Land
Additional information
Authors
Sharygina N.,
Alt L.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2017
Language
English
Meeting name
13. Haifa Verification Conference 2017
Meeting place
Haifa, Israel
Meeting date
November 13-15, 2017
