Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadatas

https://hal.inria.fr/inria-00534848
Contributor : Sylvie Boldo <>
Submitted on : Wednesday, November 10, 2010 - 4:09:08 PM
Last modification on : Wednesday, September 16, 2020 - 5:04:55 PM

Identifiers

  • HAL Id : inria-00534848, version 1

Collections

Citation

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

Share

Metrics

Record views

241