Verlässliche Systemsoftware / teaching / Sommersemester 2025 / V_RAM