Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
4 Treffer
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff: