Search for persons
X
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications ,
8
The Good, The Bad and The Ugly: Pitfalls and Best Practices..:
, In:
?
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security ,
10
eThor: Practical and Provably Sound Static Analysis of Ethe..:
, In:
?
Brennpunkt Strafvollzug / Andrea Baechtold ... (Hrsg.)
15
Wechselbad der Gefühle:
, In:Copies:
Juridicum: h jur 983 xwm/085