Document is current

Abate, Alessandro https://orcid.org/0000-0002-5627-9093

Bessa, Iury https://orcid.org/0000-0002-6603-3476

Cordeiro, Lucas https://orcid.org/0000-0002-6235-4272

David, Cristina https://orcid.org/0000-0002-9106-934X

Kesseli, Pascal https://orcid.org/0000-0003-0300-5598

Kroening, Daniel https://orcid.org/0000-0002-6681-5283

Polgreen, Elizabeth https://orcid.org/0000-0001-9032-7661

Funding for this research was provided by:

Engineering and Physical Sciences Research Council (EP/J012564/1)

European Research Council (280053)

H2020 Future and Emerging Technologies (280053)

Text and Data Mining valid from 2019-12-06

Version of Record valid from 2019-12-06