ANSI/ISO C Specification Language Version 1.20 - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport Année : 2024

ANSI/ISO C Specification Language Version 1.20

Patrick Baudin
  • Fonction : Auteur
Pascal Cuoq
  • Fonction : Auteur
  • PersonId : 940733
Jean-Christophe Filliâtre
Formally Verified Programs, Certified Tools and Numerical Computations
Claude Marché
Formally Verified Programs, Certified Tools and Numerical Computations
CV
Benjamin Monate
  • Fonction : Auteur
  • PersonId : 878785
Yannick Moy
  • Fonction : Auteur
  • PersonId : 964682
Virgile Prévosto

Domaines

Informatique [cs]

Frédéric Boulanger  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04523865

Soumis le : mercredi 27 mars 2024-16:56:49

Dernière modification le : vendredi 29 mars 2024-03:16:42

Fichier non déposé

Dates et versions

hal-04523865 , version 1 (27-03-2024)

Identifiants

  • HAL Id : hal-04523865 , version 1

Citer

Patrick Baudin, Pascal Cuoq, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, et al.. ANSI/ISO C Specification Language Version 1.20. CEA List. 2024. ⟨hal-04523865⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 LARA UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More