Skip to Main content Skip to Navigation
Other publications

Gérard Berry : un informaticien médaille d'or du CNRS 2014

Serge Abiteboul 1 Laurent Fribourg 2 Jean Goubault-Larrecq 2
1 Inria - Institut National de Recherche en Informatique et en Automatique
2 LSV - Laboratoire Spécification et Vérification
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-03189830
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 5, 2021 - 10:27:22 AM
Last modification on : Wednesday, April 7, 2021 - 3:35:15 AM

Identifiers

  • HAL Id : hal-03189830, version 1

Collections

IRISA | CNRS | INRIA | ENS-CACHAN | UR1-UFR-ISTIC | ENS-PARIS-SACLAY

Citation

Serge Abiteboul, Laurent Fribourg, Jean Goubault-Larrecq. Gérard Berry : un informaticien médaille d'or du CNRS 2014. 2014. ⟨hal-03189830⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data