Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- [info]computer science [cs] 3 Treffer
- correctness 3 Treffer
- 5 weitere Werte:
Verlag
Publikation
Sprache
Geographischer Bezug
2 Treffer
-
In: Certified Programs and Proofs ; https://hal.science/hal-03380459 ; Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3437992, 2021Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: