Towards synthesis from assume-guarantee contracts involving infinite theories

机译：具有控制屏障功能的网络系统的安全关键控制合成及假设保证合同

机译：数字合同签署的假设保证综合

机译：不完整的合同，代理理论和道德绩效：投标施工过程中影响业主和承包商绩效的因素的综合

机译：从涉及无穷理论的假定保证合同进行综合：初步报告

机译：无限x无限矩阵的运算及其在动力学和谱理论中的应用

机译：含硫脲基团的对称化学传感器的合成及阴离子识别性质：理论与实验

机译：从假设保证中有效引导反应系统的合成   合同

机译：涉及微带元素无限阵列理论与应用的两个专题

机译：时间维无穷大（理论）（斯诺卡特理论）

机译：签署涉及缔约方的电子合同和服务器的缔约方提前履行合同义务的电子合同的方法

机译：软件系统建模方法，涉及通过贸易合同定义软件系统的客户软件组件和供应商软件组件的角色，并为每个贸易合同定义接口合同