Verification in the Classroom.
Christoph WaltherStephan SchweitzerPublished in: J. Autom. Reason. (2004)
Keyphrases
- model checking
- learning environment
- pilot study
- student learning
- learning activities
- collaborative learning
- online learning
- learning process
- face verification
- middle school
- cooperative learning
- middle school students
- teacher education
- collaborative environments
- learning algorithm
- signature verification
- primary school
- secondary school
- elementary school
- game based learning
- science education