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
Institutions
- E.ON Energy Research Center [080052]
- Institute for Automation of Complex Power Systems [616310]
Identifier
- DOI: 10.1145/3623759.3624554
- RWTH PUBLICATIONS: RWTH-2023-09815