Jingang Niu

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

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