Robuta

https://www.cs.cit.tum.de/pl/lehre/sommersemester-23/vorlesungen/language-based-security-1/ Language Based Security - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik language based security sprachen und der informatik