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: https://mpcs.sci.am/index.php/mpcs/article/view/582. Acesso em: 3 apr. 2025.