C'est la faute à l'ordinateur !

Sylvie Boldo 1, 2
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
2 LRI - Laboratoire de Recherche en Informatique
Type de document :
Article dans une revue
Interstices, INRIA, 2010
Liste complète des métadonnées
https://hal.inria.fr/inria-00534848
Contributeur : Sylvie Boldo <>
Soumis le : mercredi 10 novembre 2010 - 16:09:08
Dernière modification le : jeudi 5 avril 2018 - 12:30:08

Identifiants

  • HAL Id : inria-00534848, version 1

Collections

INRIA | UMR8623 | INRIA-MECSCI

Citation

Sylvie Boldo. C'est la faute à l'ordinateur !. Interstices, INRIA, 2010. 〈inria-00534848〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

197

Contact


archive-ouverte@inria.fr