Fakultät für Informatik (FIN)
AG Formale Methoden und Semantik