Why3 version 1.0 - Inria - Institut national de recherche en sciences et technologies du numérique

Documentation
Français (FR)

Anglais (EN)

Brevet Année : 2018

Why3 version 1.0

(1) , (1) , (1) , (1) , (1)

1

Jean-Christophe Filliâtre

Fonction : Auteur
PersonId : 15939
IdHAL : jean-christophe-filliatre
ORCID : 0000-0003-2359-975X
IdRef : 15500395X

Formally Verified Programs, Certified Tools and Numerical Computations

Andrei Paskevich

Fonction : Auteur
PersonId : 1687
IdHAL : tertium
IdRef : 204772567

Formally Verified Programs, Certified Tools and Numerical Computations

Guillaume Melquiond

Fonction : Auteur
PersonId : 1146
IdHAL : guillaume-melquiond
ORCID : 0000-0002-6697-1809
IdRef : 117280836

Formally Verified Programs, Certified Tools and Numerical Computations

Claude Marché

Fonction : Auteur
PersonId : 3448
IdHAL : claude-marche
ORCID : 0000-0003-3035-1269
IdRef : 069480249

Formally Verified Programs, Certified Tools and Numerical Computations

François Bobot

Fonction : Auteur

Formally Verified Programs, Certified Tools and Numerical Computations

Domaines

Logique en informatique [cs.LO]

Claude Marché : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03136256

Soumis le : mardi 9 février 2021-15:34:25

Dernière modification le : mardi 13 février 2024-03:25:16

Dates et versions

hal-03136256 , version 1 (09-02-2021)

Identifiants

HAL Id : hal-03136256 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE

37 Consultations

0 Téléchargements

Partager