Travelled to:
1 × United Kingdom
Collaborated with:
S.Shinde P.Saxena B.Demsky
Talks about:
constraint (1) unbound (1) counter (1) string (1) model (1)
Person: Loi Luu
DBLP: Luu:Loi
Contributed to:
Wrote 1 papers:
- PLDI-2014-LuuSSD #bound #constraints #string
- A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.