View source for InstitutionDoi/400

{{InstitutionsDoi
|doi=https://doi.org/10.1145/3623759.3624554
|affiliation=Institute for Automation of Complex Power Systems, Aachen, Germany, Fraunhofer Institute for Applied Information Technology, Sankt Augustin, Germany
|affiliation_clean=Institute for Automation of Complex Power Systems, Aachen, Germany, Fraunhofer Institute for Applied Information Technology, Sankt Augustin, Germany
|title=On the Challenge of Sound Code for Operating Systems
}}