Ein kompakter Sammelband aus dem 17. Internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Waterloo; erfasst aktuelle Forschung zu Logik, Automatentheorie und Modellprüfung mit praxisnahen Fallstudien und theoretischen Durchbrüchen.