On interpolants and variable assignments
Additional information
Authors
Sharygina N.,
Jancík P.,
Rollini S. F.,
Kofron J.
Type
Article in conference proceedings
Year
2014
Language
English
Meeting name
14th FMCAD 2014
Meeting place
Lausanne, Switzerland
Meeting date
October 21-24, 2014
