Personensuche
X
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
2
Drawing from an Urn is Isometric:
, In:
?
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ,
4
Completeness Thresholds for Memory Safety of Array Traversi..:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
10
Multisets and Distributions, in Drawing and Learning:
, In:
?
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs ,
11
Verifying C++ Dynamic Binding:
, In:
?
Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems ,
13
PostGuard: Towards Easy and Secure Email Communication:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
14