Jingang Niu, Shenghui Su. Design Verification of BJUT Library Management System with PVS. In Muren Liu, Yuping Wang, Ping Guo, editors, 2010 International Conference on Computational Intelligence and Security, CIS 2010, Nanning, Guangxi Zhuang Autonomous Region, China, December 11-14, 2010. pages 624-628, IEEE, 2010. [doi]
Abstract is missing.