Walter AT, Boskin B, Cooper S, Manolios P. Gamification of Loop-Invariant Discovery from Code. HCOMP [Internet]. 2019Oct.28 [cited 2024Apr.19];7(1):188-96. Available from: https://ojs.aaai.org/index.php/HCOMP/article/view/5277