Function Summarization Modulo Theories
Additional information
Authors
Sharygina N.,
Asadi S.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.,
Even-Mendoza K.,
Chockler H.
Type
Article in conference proceedings
Year
2018
Language
English
Meeting name
22nd LPAR 2018
Meeting place
Awassa, Ethiopia
Meeting date
16-21 November 2018
DOI
