Author Details

Legrand, Pierrick, Universite´ of Bordeaux, CQFD Team, INRIA Bordeaux, IMB, Talence, France, France



ISSN: 2007-9737