id: 70771041
dt: a
an: 70771041
au: Milicevic, Aleksandar; Kugler, Hillel
ti: Model checking using SMT and theory of lists
so: NASA Formal Methods, 282-297 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-20398-5_21