GLUCH, David P.; KORNECKI, Andrew J. AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY. Computer Science, [S. l.], v. 8, n. 3, p. 37, 2013. DOI: 10.7494/csci.2007.8.3.37. Disponível em: https://journals.agh.edu.pl/csci/article/view/199. Acesso em: 5 dec. 2025.