17. ASE 2002: Edinburgh, Scotland, UK

Regular Papers

Software Design and Synthesis

Verification and Validation

Experience Reports

Software Specification

Program Understanding

Testing

Requirements Engineering

Reasoning Technology

Short Papers

Workshop Report

Doctoral Symposium

maintained by Schloss Dagstuhl LZI at University of Trier