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-03115293v1  Patents
Geoffrey Beck. Computer-implemented method for reconstructing the topology of a network of cables
France, Patent n° : US Patent App. 16/638,451, 2020. 2017, https://patents.google.com/patent/US20200363462A1/en