User: Boutheina BannourProject: Eclipse Formal Modeling ProjectType: Project LeadStatus: ActiveActive: Thursday, June 30, 2016Contribution Activity: Commits on Eclipse Formal Modeling Project by Boutheina Bannour (lifetime).