\input zb-basic
\input zb-ioport
\iteman{io-port 70771041}
\itemau{Milicevic, Aleksandar; Kugler, Hillel}
\itemti{Model checking using SMT and theory of lists}
\itemso{NASA Formal Methods, 282-297 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-20398-5\_21}
\end