TY - RPRT TI - Training Students' Abstraction Skills Around a CAFÉ 2.0 AU - Géraldine Brieven AU - Lev Malcev AU - Benoit Donnet PY - 2023 UR - https://arxiv.org/abs/2309.09562 ID - 2309.09562 ER -