Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach. Correction: A framework for embedded software portability and verification: from formal models to low-level code. Software and Systems Modeling, 23(2):317, April 2024. [doi]
Abstract is missing.