Bauereiß，托马斯;佩森蒂·格里蒂，阿曼多;安德烈·波佩斯库;佛朗哥·雷蒙迪 CoSMed：一个经过保密验证的社交媒体平台。 （英语） Zbl 1451.68168号 J.汽车。推理 61，编号1-4，113-139（2018）.MSC公司：60年第68季度 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Bauerieß}等人，J.Autom。推理61，No.1--4，113--139（2018；Zbl 1451.68168） 全文： DOI程序 链接
Bauereiß，托马斯;阿曼多·佩森提·格里蒂;安德烈·波佩斯库;佛朗哥·雷蒙迪 CoSMed：一个经过保密验证的社交媒体平台。 （英语） Zbl 1451.68167号 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 87-106 (2016).MSC公司：60年第68季度 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Bauerieß}等人，Lect。注释计算。科学。9807,87-106（2016；Zbl 1451.68167） 全文： DOI程序 链接