Safety-Certifying Open Source Software: The Case of the Xen Hypervisor - Stefano & Senthil

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.