Lattice-based SMT for program verification
Additional information
Authors
Sharygina N.,
Even-Mendoza K.,
Hyvärinen A.,
Chockler H.
Type
Article in conference proceedings
Year
2019
Language
English
Meeting name
17th MEMOCODE 2019
Meeting place
La Jolla, CA, USA
Meeting date
October 9-11, 2019
