Sabou M, Winkler D, Penzerstadler P, Biffl S. Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering. HCOMP [Internet]. 2018 Jun. 15 [cited 2026 May 13];6(1):164-73. Available from: https://ojs.aaai.org/index.php/HCOMP/article/view/13325