The RISC ProofNavigator: a proving assistant for program verification in the classroom.
Wolfgang SchreinerPublished in: Formal Aspects Comput. (2009)
Keyphrases
- application specific
- test bed
- collaborative learning
- learning environment
- learning activities
- pilot study
- classroom setting
- student learning
- instruction set
- online learning
- professional development
- deaf students
- elementary school
- foreign language
- science learning
- hardware architecture
- high school
- learning opportunities
- intelligent assistant