Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /
Organization
Danish National Research Foundation / Ulrich Kohlenbach BRICS∗ Department / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / Computer Science University / /