2. SWS 2005: Fairfax, Virginia, USA

Web services

Access control

Invited talk

Formal methods

maintained by Schloss Dagstuhl LZI, founded at University of Trier