@Article{1024_4_2014_135,
title={Leslie Lamport : l’importance de la pensée mathématique pour l’informatique},
author={Stephan Merz et Anca Muscholl},
pages={135--137},
journal={1024},
x-hal_journal_id={103290},
volume={4},
month={10},
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/10/1024_4_2014_135.pdf},
fileSource={publisherAgreement},
DOI={10.48556/SIF.1024.4.135}
}