Dagstuhl Seminar Proceedings: Software Synthesis 2009

maintained by Schloss Dagstuhl LZI, founded at University of Trier