Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering.

Marta Sabou, Dietmar Winkler, Peter Penzerstadler, Stefan Biffl

Browse the full HCOMP paper archive.