8. SEFM 2010: Pisa, Italy

Keynotes

In Memory of Geoff Dromey

Formal Requirement Analysis and Specification

Program Analysis

Formal Approaches to Service-oriented Computing

Applications of Formal Methods

Model Checking

Formal Approaches for Testing

Formal Methods for Real-time and Timed Analysis

maintained by Schloss Dagstuhl LZI at University of Trier