Integration of SMGA and Maude to Facilitate Characteristic Conjecture

  1. Bui, D.D.
  2. Tran, D.D.
  3. Ogata, K.
  4. Riesco, A.
Actas:
DMSVIVA 2022 - Proceedings of the 28th International DMS Conference on Visualization and Visual Languages

ISBN: 9781891706554

Año de publicación: 2022

Páginas: 45-54

Tipo: Aportación congreso

DOI: 10.18293/DMSVIVA22-006 GOOGLE SCHOLAR
Fuente de los datos: Scopus