Formal Object-Oriented Analysis and Design of an Online Ticketing System.

Xiaoshan Li, Zhiming Liu, Zhensheng Guo

Browse the full APSEC paper archive.