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
Address: 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 & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:


Frama-C (Junior Developer)

Toccata (Regular Member)

Why3 (Junior Developer)