Using ALF within the CoSTest process for validation of UML-based conceptual schema

  1. Granda, M.F.
  2. Condori-Fernández, N.
  3. Vos, T.E.J.
Proceedings:
CEUR Workshop Proceedings

ISSN: 1613-0073

Year of publication: 2017

Volume: 1979

Pages: 271-284

Type: Conference paper