Dagstuhl Seminar Proceedings: Quantitative Software Design 2009

maintained by Schloss Dagstuhl LZI, founded at University of Trier