@Article{1024_3_2014_85,
title={Le logiciel Coq distingué deux fois par des prix internationaux prestigieux},
author={Christine Paulin-Mohring},
pages={85--86},
journal={1024},
x-hal_journal_id={103290},
volume={3},
month={5},
year={2014},
editor={Société informatique de France},
publisher={Société informatique de France},
publisherLink={https://www.socinfo.fr/bulletin/},
issn={2270-1419},
keywords={Informatique},
domain={Computer Science},
licence={Attribution - NoDerivatives},
popularlevel={Yes},
peerReviewing={Yes},
audience={International},
language={fr},
PDF={https://1024.socinfo.fr/2014/05/1024_3_2014_85.pdf},
fileSource={publisherAgreement},
DOI={10.48556/SIF.1024.3.85}
}