Home My Page Projects

User Profile

Personal Information
User Id: 505
Login name: amahboub
Real Name:
Mlle Assia Mahboubi
Email Address:: assia.mahboubi @nospam@ inria.fr
Site Member Since: 2005-11-08 13:21
Diary and Notes
Diary/Note entries: 0

View Diary & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:

A3Pat (Senior Developer)

bckFwd (Admin)

CAD_COQ (Admin)

CertiCrypt (Junior Developer)

cime (Senior Developer)

Coq (Developer)

coqart (Junior Developer)

Coq Contribs (Coq Developer)

CoqCooper (Admin)

Coq dev tools (Senior Developer)

Coq Formation (Admin)

CoqWmm (Admin)

DimLsc/Digiteo Reals (Senior Developer)

Diogene (Senior Developer)

FastRelax (Admin)

FMSimplex (Admin)

marelledocs (Junior Developer)

Parsifal (Senior Developer)

preuves de processus répartis (Senior Developer)

Projet ANR DECERT (Senior Developer)

PSI-Science (Admin)

typical (Admin)

validnum (Admin)

WuMethod (Senior Developer)