Defense Jasper Denkers
Date: Tue, October 01, 2024
Time: 12:00
Room: TBA
Previous:
| How Novices Perceive Interactive Theorem Provers
Next:
Jasper Denkers | Domain-Specific Languages for Digital Printing Systems