7. PLOS@SOSP 2013: Farmington, PA, USA

Verification, specification and modelling

Distributed OS programming

Analysis and debugging

a service of Schloss Dagstuhl - Leibniz Center for Informatics