65th Birthday: Stefania Gnesi 2019

Software Engineering

Formal Methods and Tools

Requirements Engineering

Natural Language Processing

Software Product Lines

Formal Verification

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics