Dynamic and Static Analysis for Weakly Consistent Systems

Download
Full text (PDF, 1.300Mb)
Thumbnail
Open access
Author
Brutschy, Lucas
Date
2018
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000249675
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Müller, Peter
Examiner: Møller, Anders
Examiner: Tripp, Omer
Examiner: Vechev, Martin
Publisher
ETH Zurich
Organisational unit
03653 - Müller, Peter / Müller, Peter  
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics