ConferencePaper
 (2023)

Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications