"Dependable Software Systems Engineering"

Javier Esparza, Orna Grumberg, Salomon Sickert (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics