Duong Dinh Tran, Kazuhiro Ogata 0001, Adrián Riesco 0001, Dang Duy Bui. Integration of SMGA and Maude to Facilitate Characteristic Conjecture. In Shi-Kuo Chang, editor, The 28th International DMS Conference on Visualization and Visual Languages, KSIR Virtual Conference Center, USA, June 29-30, 2022. pages 45-54, KSI Research Inc., 2022. [doi]
Abstract is missing.