Theory Refinement for Program Verification
Informazioni aggiuntive
Autori
Sharygina N.,
Hyvärinen A.,
Asadi S.,
Even-Mendoza K.,
Fedyukovich G.,
Chockler H.
Tipo
Contributo in atti di convegno
Anno
2017
Lingua
Inglese
Nome convegno
20th SAT 2017
Luogo convegno
Melbourne, VIC, Australia
Data convegno
August 28 - September 1, 2017
