In dieser Forschungslinie wird untersucht, wie formale Verfeinerungsansätze befähigt werden, die Komplexität...