Demonstrating safety of software-dependent systems Meine van der Meulen, Tore Myhrvold Innbundet / 2022 / Engelsk
