KLIMEK, R.; SZWED, P. FORMAL ANALYSIS OF USE CASE DIAGRAMS. Computer Science, [S. l.], v. 11, p. 115, 2013. DOI: 10.7494/csci.2010.11.0.115. Disponível em: https://journals.agh.edu.pl/csci/article/view/117. Acesso em: 18 apr. 2024.