Publications by the researcher in collaboration with MONTSERRAT HERMO HUGUET (1)

2019

  1. Automatic white-box testing of first-order logic ontologies

    Journal of Logic and Computation, Vol. 29, Núm. 5, pp. 723-751