Le logiciel Coq distingué deux fois par des prix internationaux prestigieux
Christine Paulin-Mohring
[Bibtex]
N°3, Mai 2014, pages 85-86
DOI:10.48556/SIF.1024.3.85
|
|
|
Le logiciel Coq distingué deux fois par des prix internationaux prestigieuxChristine Paulin-Mohring[Bibtex]
|
N°3, Mai 2014, pages 85-86 DOI:10.48556/SIF.1024.3.85 |