Return to Article Details Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering Download Download PDF