Institut für Informatik

Logic and Theory Group (LTG)