2021

Borchert, Angela ; Wainakh, Aidmar ; Nicole, Krämer ; Mühlhäuser, Max ; Heisel, Maritta (2021)
The Relevance of Privacy Concerns, Trust, and Risk for Hybrid Social Media.
16th International Conference on Evaluation of Novel Approaches to Software Engineering. virtual Conference (26.04.2021-27.04.2021)
doi: 10.1007/978-3-030-96648-5_5
Konferenzveröffentlichung, Bibliographie

Borchert, Angela ; Wainakh, Aidmar ; Krämer, Nicole ; Mühlhäuser, Max ; Heisel, Maritta (2021)
Mitigating Privacy Concerns by Developing Trust-Related Software Features for a Hybrid Social Media Application.
16th International Conference on Evaluation of Novel Approaches to Software Engineering. Virtual conference (26.04.2021-27.04.2021)
doi: 10.5220/0010450302690280
Konferenzveröffentlichung, Bibliographie

1986

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Konferenzveröffentlichung, Bibliographie