Theory Refinement for Program Verification
Additional information
Authors
Sharygina N.,
Hyvärinen A.,
Asadi S.,
Even-Mendoza K.,
Fedyukovich G.,
Chockler H.
Type
Article in conference proceedings
Year
2017
Language
English
Meeting name
20th SAT 2017
Meeting place
Melbourne, VIC, Australia
Meeting date
August 28 - September 1, 2017
