MONTSERRAT HERMO HUGUET-rekin lankidetzan egindako argitalpenak (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