DANIELI JOSEPH

Self-verification of operating system memory management