Medical Devices RegulationExplores European and Swiss regulations on medical devices, covering authorization, compliance, and ethical practices.
From Tests to ProofExplores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.