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. Disponível em: https://ojs.aaai.org/index.php/HCOMP/article/view/5277. Acesso em: 20 jan. 2021.