Skip to Main content Skip to Navigation
Patents

Why3 version 1.0

Document type :
Patents
Complete list of metadata

https://hal.inria.fr/hal-03136256
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Tuesday, February 9, 2021 - 3:34:25 PM
Last modification on : Tuesday, November 23, 2021 - 1:40:11 PM

Identifiers

  • HAL Id : hal-03136256, version 1

Citation

Jean-Christophe Filliâtre, Andrei Paskevich, Guillaume Melquiond, Claude Marché, François Bobot. Why3 version 1.0. France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018. ⟨hal-03136256⟩

Share

Metrics

Les métriques sont temporairement indisponibles