Function Summarization Modulo Theories
Informazioni aggiuntive
Autori
Sharygina N.,
Asadi S.,
Blicha M.,
Fedyukovich G.,
Hyvärinen A.,
Even-Mendoza K.,
Chockler H.
Tipo
Contributo in atti di convegno
Anno
2018
Lingua
Inglese
Nome convegno
22nd LPAR 2018
Luogo convegno
Awassa, Ethiopia
Data convegno
16-21 November 2018
DOI
