Material from the Focus Group discussions
- Script for KeY (German)
- Script for Isabelle (German)
- Script for both systems (English)
- Mock-Ups from the focus group discussions (Password Protected)
- Other artifacts from the focus groups (Password Protected)
Material from the Interview Sessions
- Script for the interview sessions (in German)
- Individual sequence models derived from observations and enhanced during analysis (Password Protected)
- Other artifacts from the interview sessions (Password Protected)