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 |
Externí odkaz: |
Autor: | null Denis Merigoux |
---|---|
Rok vydání: | 2023 |
Zdroj: | Bulletin 1024. :167-170 |
ISSN: | 2270-1419 |
Databáze: | OpenAIRE |
Externí odkaz: |