11. LOPSTR 2001: Paphos, Cyprus

Invited Speaker

Program Transformation and Equivalence

Program Verification

Program Analysis

Program Development

Program Synthesis