科研之友ScholarMate
免费注册
首页 论文 论文详情
赞 收藏 引用

Automatic Verification of Database-Centric Systems

作者：Deutsch Alin*; Hull Richard; Vianu Victor
来源：Sigmod Record, 2014, 43(3): 5-17.
DOI：10.1145/2694428.2694430
  • 出版日期2014-9
  • 单位INRIA

全文

全文

访问全文
收藏 分享 被引(24) 浏览
更新时间：2024-04-22 18:11