Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications.

Juan Felipe Caldern, Luis A. Rojas

Browse the full HCI paper archive.