Skip to Main content Skip to Navigation


hal-03136256v1  Patents
Jean-Christophe FilliâtreAndrei PaskevichGuillaume MelquiondClaude MarchéFrançois Bobot. Why3 version 1.0
France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
hal-01588300v1  Patents
Sami YehiaOlivier TemamHugues Berry. Procédé pour la conception d'accélérateurs
France, N° de brevet: FR2937762. 4833. 2010, pp.22