演示材料

• Gerhard Schellhorn（德国奥格斯堡大学）
  • 使用交叉程序扩展交互式验证的ITL（PDF）
• 克里斯汀·布伦特·维纳布尔（意大利帕多瓦大学）
  • 时间首选项（PPTX）
• Jef Wijsen（比利时蒙斯大学）：
  • 建立数据货币基础（PDF）

图片