- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 14300, S. 214-234
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2023
- Event
-
Veröffentlichung
- (where)
-
Cham
- (who)
-
Springer
- (when)
-
2023
- DOI
-
10.1007/978-3-031-47705-8_12
- URN
-
urn:nbn:de:bvb:384-opus4-1091054
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Schellhorn, Gerhard
- Bodenmüller, Stefan
- Reif, Wolfgang
- Universität Augsburg
- Springer
Time of origin
- 2023
Other Objects (12)
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
A Refinement Method for Java Programs
Theorems from compiler verification: a problem set for automated theorem provers
Separating separation logic – modular verification of red-black trees
Modular verification of order-preserving write-back caches
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
A Refinement Method for Java Programs
Theorems from compiler verification: a problem set for automated theorem provers
Separating separation logic – modular verification of red-black trees
Modular verification of order-preserving write-back caches
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Ankernd am Rande der großen Flut : von 1946 bis 2010
A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
Korrektheit von Spezifikationen und generischen Moduln
Compositional Concurrent Program Verification with RGITL
Interactive Verification of Concurrent Systems using Symbolic Execution
A Refinement Method for Java Programs
Theorems from compiler verification: a problem set for automated theorem provers
Separating separation logic – modular verification of red-black trees
Modular verification of order-preserving write-back caches
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts