Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Diseño y análisis formal de sistemas de software