Automatic white-box testing of first-order logic ontologies

  1. Álvez, J.
  2. Hermo, M.
  3. Lucio, P.
  4. Rigau, G.
Aldizkaria:
Journal of Logic and Computation

ISSN: 1465-363X,  0955-792X

Argitalpen urtea: 2019

Alea: 29

Zenbakia: 5

Orrialdeak: 723-751

Mota: Artikulua

DOI: 10.1093/LOGCOM/EXZ001 GOOGLE SCHOLAR
Datuen iturria: Scopus