ASATRYAN, A. J. Constraint Management in Database Applications via Checker Framework. Mathematical Problems of Computer Science, [S. l.], v. 23, p. 12–19, 2024. Disponível em: http://93.187.165.2/index.php/mpcs/article/view/582. Acesso em: 8 apr. 2025.