Tayssir TOUILI


From October 2004 to July 2009, I co-administered the seminar Verification at LIAFA.

NEW: A PhD POSITION ON SOFTWARE VERIFICATION IS AVAILABLE. TO APPLY, SEND AN EMAIL TO touili@liafa.univ-paris-diderot.fr

Conferences:

I am on the PC of:

Software:

Publications:

Proceedings and Edited Volumes: Journals: Conferences and workshops: Other publications: