Information :

Author(s) :
Jean-Christophe Filliâtre, Nguyen Kim, Balabonski Thibaut, Conchon Sylvain
Page numbers :
530