2003

Conférence Internationale avec comité de lecture

• [BFG03] C. Bigot, A. Faivre, J. Gallois, A. Lapitre, D. Lugato, J. Pierron, N. Rapin. "Automatic test generation with AGATHA,", January 2003, Vol. 2619, pp.591-596, Series LNCS,