Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Publikation
Sprache
7 Treffer
-
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 100-115Online KonferenzZugriff:
-
In: Proceedings - 2021 IEEE Symposium on Security and Privacy, SP, 2021-05-01, S. 1416-1433Online KonferenzZugriff:
-
In: Proceedings - 2021 IEEE Symposium on Security and Privacy, SP, 2021KonferenzZugriff:
-
In: CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2021Online KonferenzZugriff:
-
In: Logical Methods in Computer Science, Jg. 17 (2021-08-21), Heft 3Online serialPeriodicalZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019), Heft POPLOnline serialPeriodicalZugriff: