학술논문
A formally defined and formally provable EBNF-based constraint language for use in qualifiable software
Document Type
Conference Paper
Author
Source
In: Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings , Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings, 23 October 2022, :862-871)
Subject
Language
English