Design Verification of BJUT Library Management System with PVS | IEEE Conference Publication | IEEE Xplore