Dagstuhl Seminar Proceedings, Volume 9432,

• Astrid Kreissig, Iman Poernomo, and Ralf Reussner 09432 Report – Quantitative Software Design 10.4230/DagSemProc.09432.1