15. LOPSTR 2005: London, UK

Tools for Program Development

Program Transformati

Software Development and Program Analysis

maintained by Schloss Dagstuhl LZI at University of Trier