5. FMCO 2006: Amsterdam, The Netherlands

Testing

Program Verification

Trust and Security

Models of Computation

Distributed Programming

maintained by Schloss Dagstuhl LZI at University of Trier