Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
2 Treffer
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 19 ; https://hal.science/hal-01955433, 2019Online KonferenzZugriff:
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 19 ; https://hal.science/hal-01955433, 2019Online KonferenzZugriff: