Design de langage dédié orienté vers la preuve pour le logiciel critique

Autor: null Denis Merigoux
Rok vydání: 2023
Zdroj: Bulletin 1024. :167-170
ISSN: 2270-1419
Databáze: OpenAIRE