Lattice-based SMT for program verification
Informazioni aggiuntive
Autori
Sharygina N.,
Even-Mendoza K.,
Hyvärinen A.,
Chockler H.
Tipo
Contributo in atti di convegno
Anno
2019
Lingua
Inglese
Nome convegno
17th MEMOCODE 2019
Luogo convegno
La Jolla, CA, USA
Data convegno
October 9-11, 2019
