Integration of SMGA and Maude to Facilitate Characteristic Conjecture
- Bui, D.D.
- Tran, D.D.
- Ogata, K.
- Riesco, A.
Konferenzberichte:
DMSVIVA 2022 - Proceedings of the 28th International DMS Conference on Visualization and Visual Languages
ISBN: 9781891706554
Datum der Publikation: 2022
Seiten: 45-54
Art: Konferenz-Beitrag