Design Verification of BJUT Library Management System with PVS.

Jingang Niu, Shenghui Su

Browse the full CIS paper archive.