@Article{1024_21_2023_167,
title={Design de langage dédié orienté vers la preuve pour le logiciel critique},
author={Denis Merigoux},
pages={167--170},
journal={1024},
x-hal_journal_id={103290},
volume={21},
month={4},
year={2023},
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 - NonCommercial - NoDerivatives},
popularlevel={Yes},
peerReviewing={Yes},
audience={International},
language={fr},
PDF={https://1024.socinfo.fr/2023/04/1024_21_2023_167.pdf},
fileSource={publisherAgreement},
DOI={10.48556/SIF.1024.21.167}
}