WALTER, A. T.; BOSKIN, B.; COOPER, S.; MANOLIOS, P. Gamification of Loop-Invariant Discovery from Code. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing, [S. l.], v. 7, n. 1, p. 188-196, 2019. DOI: 10.1609/hcomp.v7i1.5277. Disponível em: https://ojs.aaai.org/index.php/HCOMP/article/view/5277. Acesso em: 25 apr. 2024.