From the Archives of the Formal Methods and Tools Lab
Crossref DOI link: https://doi.org/10.1007/978-3-030-21485-2_13
Published Online: 2019-07-03
Published Print: 2019
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gnesi, Stefania http://orcid.org/0000-0002-0139-0421
ter Beek, Maurice H. http://orcid.org/0000-0002-2930-6367
Text and Data Mining valid from 2019-01-01
Chapter History
First Online: 3 July 2019