- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 12071, S. 6-23
- Event
-
Veröffentlichung
- (where)
-
Augsburg, Cham
- (who)
-
Universität Augsburg, Springer Nature
- (when)
-
2020
- Creator
- DOI
-
10.1007/978-3-030-48077-6_2
- URN
-
urn:nbn:de:bvb:384-opus4-796918
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Pfähler, Jörg
- Reif, Wolfgang
- Universität Augsburg, Springer Nature
Time of origin
- 2020
Other Objects (12)
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
A Refinement Method for Java Programs
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
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
Refinement and separation: modular verification of wandering trees
Thread-local, step-local proof obligations for refinement of state-based concurrent systems
Crash-Safe Refinement for a Verified Flash File System
Model-Based Testing for Self-Organization Mechanisms
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
A Refinement Method for Java Programs
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
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
Refinement and separation: modular verification of wandering trees
Thread-local, step-local proof obligations for refinement of state-based concurrent systems
Crash-Safe Refinement for a Verified Flash File System
Model-Based Testing for Self-Organization Mechanisms
Korrektheit von Spezifikationen und generischen Moduln
A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems
A Refinement Method for Java Programs
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
Land im silbernen Licht : vom Mittelalter bis 1945
An abstract PPL machine
Refinement and separation: modular verification of wandering trees
Thread-local, step-local proof obligations for refinement of state-based concurrent systems
Crash-Safe Refinement for a Verified Flash File System