TY  - CONF

T1  - CoSMed: a confidentiality-verified social media platform

JO  - Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

PY  - 2016/08/07

AU  - Bauereiß T

AU  - Pesenti Gritti A

AU  - Popescu A

AU  - Raimondi F

ED  - 

DO  - DOI: 10.1007/978-3-319-43144-4_6

PB  - Springer International Publishing

SN  - 9783319431437

VL  - LNTCS,volume 9807

SP  - 87

EP  - 106

Y2  - 2024/12/23

ER  -