\input zb-basic
\input zb-ioport
\iteman{io-port 70389416}
\itemau{Wolfsthal, Yaron; Gott, Rebecca M.}
\itemti{Formal verification: is it real enough?}
\itemso{DAC, 670-671 (2005).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1065579.1065755}
\end