Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
Martín López NoresJosé Juan Pazos-AriasJorge García DuqueYolanda Blanco-FernándezManuel Ramos CabrerAlberto Gil-SollaAna Fernández VilasRebeca P. Díaz RedondoPublished in: J. Syst. Softw. (2006)