[1]
Walter, A.T., Boskin, B., Cooper, S. and Manolios, P. 2019. Gamification of Loop-Invariant Discovery from Code. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. 7, 1 (Oct. 2019), 188-196.