应用系统迁移正确性证明的新方法--从静态切面数据证明到数据变化过程证明

机译：数据库重构算法的正确性证明

机译：I / O自动机模型视角下数据库复制协议的正确性证明

机译：I / O自动机模型视角下数据库复制协议的正确性证明

机译：iGenoPri：具有完整性和正确性证明的保护隐私的基因组数据处理

机译：模块化编译器及其正确性证明。

机译：一种收集药品市场数据以支持政策实施和药品获取的新方法：赞比亚的疟疾药品证明了这一点

机译：用于过程内数据流分析的机器可检查的正确性证明

机译：任意有向图自稳定分布式时钟同步协议的正确性证明

机译：调整证明数据处理器，自动调节装置，调整证明数据处理系统，以及调整证明数据处理方法

机译：用于数据结构的数字证明集成方法，包括在数据结构中保留带宽，从修改后的结构产生数字证明，以及在保留的带宽位置将数字证明集成到结构中

机译：数据擦除证明系统，数据擦除证明方法，数据擦除监控计算机和用于获取数据删除证书的程序