Xiaoshan Li, Zhiming Liu, Zhensheng Guo. Formal Object-Oriented Analysis and Design of an Online Ticketing System. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 259, IEEE Computer Society, 2001. [doi]
Abstract is missing.