Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.

Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service

"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS

Ergebnis verändern

einschränken: Volltextzugriff; Academic (peer-reviewed) journals
erweitern: Auch Volltexte der Artikel durchsuchen; Verwandte Themen suchen

Publikationstyp

Thema

Verlag

Sprache

Datenbank

Erscheinungsjahr

Von:

Bis:

Treffer 1 - 5 von 5, Suchdauer: 0.28s

1
First steps in verifying the seL4 Core Platform

von Paturel, Mathieu ; Subasinghe, Isitha ; Heiser, Gernot

Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems. :9-15
- Volltextverfügbarkeit prüfen (via ReDI)
Merkliste

2
Verus: Verifying Rust Programs using Linear Ghost Types (extended version)

von Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.

Schlagworte: Computer Science - Logic in Computer Science; Computer Science - Programming Languages
- View full text via Arxiv
Merkliste

3
Verus: Verifying Rust Programs using Linear Ghost Types

von Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.

Proceedings of the ACM on Programming Languages ; volume 7, issue OOPSLA1, page 286-315 ; ISSN 2475-1421
- View full text via BASE
Merkliste

4
Verus: Verifying Rust Programs using Linear Ghost Types -- Supplementary Material

von Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.
- Volltextverfügbarkeit prüfen (via ReDI)
Merkliste

5
Verus: Verifying Rust Programs using Linear Ghost Types -- Artifact

von Lattuada, Andrea ; Hance, Travis ; Cho, Chanhee ; et al.
- Volltextverfügbarkeit prüfen (via ReDI)
Merkliste

Sie haben nicht gefunden, wonach Sie gesucht haben? Diese Services können Ihnen weiterhelfen.
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag