Design Verification of BJUT Library Management System with PVS. - Jingang Niu; Shenghui Su (CIS, 2010)