GitHub repository: knowsys/FormaleSysteme
Primary language: TeX
Description: Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden