A relational shape abstract domain
Crossref DOI link: https://doi.org/10.1007/s10703-021-00366-4
Published Online: 2021-04-24
Published Print: 2021-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Illous, Hugo
Lemerre, Matthieu http://orcid.org/0000-0002-1081-0467
Rival, Xavier
Text and Data Mining valid from 2021-04-24
Version of Record valid from 2021-04-24
Article History
Received: 25 January 2019
Accepted: 1 March 2021
First Online: 24 April 2021