HiFrog: SMT-based Function Summarization for Software Verification
Informazioni aggiuntive
Autori
Sharygina N.,
Alt L.,
Asadi S.,
Chockler H.,
Even-Mendoza K.,
Fedyukovich G.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2017
Lingua
Inglese
Nome convegno
23rd TACAS 2017
Luogo convegno
Uppsala, Sweden
Data convegno
April 22-29, 2017
