1. On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Issue 1 (10th May 2021) Authors: Singh, Neeraj Kumar; Aït-Ameur, Yamine; Geniet, Romain; Méry, Dominique; Palanque, Philippe Journal: Interacting with computers Issue: Volume 33:Issue 1(2021) Page Start: 92 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗