Explore projects

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

Bonus assisgnments for the Advanced Practical Course - Blockchain technology for public sector innovation (IN2106, IN4212) at TUM.