On the Challenge of Sound Code for Operating Systems

Klimt, Jonathan; Kröning, Martin Werner; Lankes, Stefan; Monti, Antonello

New York, NY : Association for Computing Machinery (2023)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems


  • E.ON Energy Research Center [080052]
  • Institute for Automation of Complex Power Systems [616310]