\input zb-basic
\input zb-ioport
\iteman{io-port 70771044}
\itemau{Cok, David R.}
\itemti{Jsmtlib: tutorial, validation and adapter tools for SMT-libv2}
\itemso{NASA Formal Methods, 480-486 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-20398-5\_36}
\end