Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
Sprache
1 Treffer
-
In: CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-01849166 ; CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩ ; https://popl19.sigplan.org/track/CPP-2019, 2019Online KonferenzZugriff: