5. FMCO 2006: Amsterdam, The Netherlands

Testing

Program Verification

Trust and Security

Models of Computation

Distributed Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics