2014

Conférence Internationale avec comité de lecture

• [MLB14] A. Methni, M. Lemerre, B. Ben Hedia, S. Haddad, K. Barkaoui. "An Approach for Verifying Concurrent C Programs", 8th Junior Researcher Workshop on Real-Time Computing, March 2014, Vol. Proceeedings, pp.33-36,