面向数据库管理系统的形式化验证

面向数据库管理系统的形式化验证

Information Recording Materials ›› 2025, Vol. 26 ›› Issue (07) : 155-157. DOI: 10.16009/j.cnki.cn13-1295/tq.2025.07.036

Author information +

History +

CLC number

TP311.13

Cite this article

Download Citations

Comments

Accesses

Citation

Detail

Sections

Recommended

/

〈

〉