8th SEFM 2010: Pisa, Italy

Refine list

showing all ?? records


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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics