Eclipse E4 Open Social Gadgetsvrs3
Specification, Partitioning, and Composition Techniques for Web Applications in the Context of Event-B Abdolbaghi Rezazadeh Michael Butler University of.
CPSC 372
