Design de langage dédié orienté vers la preuve pour le logiciel critique
Denis Merigoux
[Bibtex]
N°21, Avril 2023, pages 167-170
DOI:10.48556/SIF.1024.21.167
|
|
|
Design de langage dédié orienté vers la preuve pour le logiciel critiqueDenis Merigoux[Bibtex]
|
N°21, Avril 2023, pages 167-170 DOI:10.48556/SIF.1024.21.167 |