Automatic white-box testing of first-order logic ontologies
ISSN: 1465-363X, 0955-792X
Year of publication: 2019
Volume: 29
Issue: 5
Pages: 723-751
Type: Article
ISSN: 1465-363X, 0955-792X
Year of publication: 2019
Volume: 29
Issue: 5
Pages: 723-751
Type: Article