11. PSTV 1991: Stockholm, Sweden

Session 1: Verification

Session 2: Specification

Session 3: Refinement and Implementation

Session 4: Semantics

Session 5: Performance and Time

Session 6: Testing Theory

Session 7: Conformance Testing

Session 8: Test Sequence Generation

a service of Schloss Dagstuhl - Leibniz Center for Informatics