12. SIGSOFT FSE 2004: Newport Beach, California, USA

Program analysis

Modeling and requirements

Error explanation

Safety and security

Aspects

Verification

Development support

Testing and reliability

maintained by Schloss Dagstuhl LZI, founded at University of Trier