Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 5 Treffer
- iris 3 Treffer
- proof automation 3 Treffer
- dependent types 2 Treffer
- fine-grained concurrency 2 Treffer
-
18 weitere Werte:
- functional programming 2 Treffer
- hoare logic 2 Treffer
- interactive theorem proving 2 Treffer
- monads 2 Treffer
- type theory 2 Treffer
- arm 1 Treffer
- assembly 1 Treffer
- automated reasoning 1 Treffer
- c programming language 1 Treffer
- interactive proof assistants 1 Treffer
- isla 1 Treffer
- logical relations 1 Treffer
- ownership types 1 Treffer
- program verification 1 Treffer
- refinement types 1 Treffer
- risc-v 1 Treffer
- sail 1 Treffer
- verification 1 Treffer
Publikation
Sprache
7 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
2008Online KonferenzZugriff: