Personensuche
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
1
Contract Automata: A Specification Language for Mode-Based ..:
, In:
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
2
Quantifying Software Correctness by Combining Architecture ..:
, In:
?
10 Minuten Soziologie; 10 Minuten Soziologie: Gewalt ,
5
Policy-Cycle: Der politische Kampf gegen häusliche Gewalt:
, In:
?
2023 ACM/IEEE Joint Conference on Digital Libraries (JCDL) ,
6
A Eurovision Digital Library: Let's Open Up with Linked Dat:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
8
Verify This: Memcached—A Practical Long-Term Challenge for ..:
, In:
?
Proceedings of the 10th International Conference on Digital Libraries for Musicology ,
9
Listen Here! A Web-native digital musicology environment fo..:
, In:
?
?
2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) ,
11
Static Capability-Based Security for Smart Contracts:
, In:
?
Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022 ,
12
Generalized Test Tables: A Domain-Specific Specification La..:
, In:
?
Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance ,
14