\input zb-basic
\input zb-ioport
\iteman{io-port 70279078}
\itemau{Huang, Yao-Wen; Yu, Fang; Hang, Christian; Tsai, Chung-Hung; Lee, D. T.; Kuo, Sy-Yen}
\itemti{Verifying web applications using bounded model checking}
\itemso{DSN, 199-208 (2004).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/DSN.2004.1311890}
\end