Helmut Partsch

• Formal program development
• Formal Program Development
• Requirements Engineering