断言数据库

[duàn yán shù jù kù]

• assertion data base
• data base of assertion

参考释义

断言数据库

• -