Home My Page Projects

User Profile

Personal Information
User Id:10011
Login Name: atafat
Real Name:
Asma Tafat
Email Address: Asma.Tafat-Bouzid @nospam@ inria.fr
INRIA Saclay - Île-de-France Parc Orsay Université 4 rue J. Monod 91893 Orsay Cedex France
Phone: +33 1 72 92 59 18
Site Member Since: 2010-07-05 12:47
Diary and Notes
Diary/Note entries: 0

View Diary and Notes

Monitor this Diary

Project Information

This user is a member of the following projects:

Frama-C (Junior Developer)

Toccata (Regular Member)

Why3 (Junior Developer)