À la recherche du logiciel parfait - Archive ouverte HAL Access content directly
Scientific Blog Post Year : 2018

À la recherche du logiciel parfait

Domains

Computer Science [cs] Programming Languages [cs.PL] Computer Science [cs] Logic in Computer Science [cs.LO]

Xavier Leroy  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01966252

Submitted on : Thursday, December 27, 2018-8:07:43 PM

Last modification on : Monday, January 23, 2023-12:20:05 PM

Not file

Dates and versions

hal-01966252 , version 1 (27-12-2018)

Identifiers

  • HAL Id : hal-01966252 , version 1

Cite

Xavier Leroy. À la recherche du logiciel parfait. 2018. ⟨hal-01966252⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INRIA CDF IRISA INRIA2 PSL UR1-MATH-STIC UR1-UFR-ISTIC UR1-MATH-NUM
162 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More