TY  - JOUR

T1  - CoSMed: a confidentiality-verified social media platform

JO  - Journal of Automated Reasoning

PY  - 2017/12/02

AU  - Bauereiß T

AU  - Pesenti Gritti A

AU  - Popescu A

AU  - Raimondi F

ED  - 

DO  - DOI: 10.1007/s10817-017-9443-3

PB  - Springer Science and Business Media LLC

VL  - 61

IS  - 1-4

SP  - 113

EP  - 139

Y2  - 2024/09/19

ER  -