卡尔蒂基扬·巴尔干；安托万，Deligna-Lavoud；纳迪姆·科贝西 用于域验证和ACME的形式化建模和验证。 （英语） Zbl 1460.94036号 Kiayias，Aggelos（编辑），《金融密码学与数据安全》。2017年4月3日至7日在马耳他斯莱马举行的2017年足球俱乐部第21届国际会议。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10322, 561-578 (2017).MSC公司：94A60型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Lect。注释计算。科学。10322、561--578（2017；Zbl 1460.94036） 全文： 内政部 哈尔
尼基尔·斯瓦米；Hriţcu，科特林；香塔尔·凯勒；阿西姆·拉斯托吉；安托万，Deligna-Lavoud；西蒙·福雷斯特；卡尔蒂基扬·巴尔干；塞德里克·Fornet；Pierre-Yves支柱；马尔库夫·科尔韦斯；Jean-Karim Zinzindohoue；圣地亚哥Zanella-Béguelin （\mathrm{F}^*\）中的依赖类型和多单子效应。 （英语） Zbl 1347.68038号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。256-270 (2016).MSC公司：68甲15 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。256-270（2016；Zbl 1347.68038） 全文： 内政部