Flexible Interpolation for Efficient Model Checking
Additional information
Authors
Sharygina N.,
Hyvärinen A.,
Alt L.
Type
Article in conference proceedings
Year
2015
Language
English
Meeting name
MEMICS 2015
Meeting place
Telč, Czech Republic
Meeting date
October 23-25, 2015
