How testing helps to diagnose proof failures
Crossref DOI link: https://doi.org/10.1007/s00165-018-0456-4
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Petiot, Guillaume
Kosmatov, Nikolai http://orcid.org/0000-0003-1557-2813
Botella, Bernard
Giorgetti, Alain
Julliand, Jacques
Text and Data Mining valid from 2018-11-01
Article History
Received: 23 June 2017
Accepted: 18 April 2018
First Online: 12 June 2018