Dagstuhl Seminar Proceedings: Architecting Systems with Trustworthy Components 2004

maintained by Schloss Dagstuhl LZI at University of Trier