Program analysis using empirical abstraction
Crossref DOI link: https://doi.org/10.1007/s10009-023-00709-y
Published Online: 2023-07-06
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ho, Vivian M.
Alvin, Chris
Lawson, Jimmie D.
Mukhopadhyay, Supratik
Peterson, Brian
Text and Data Mining valid from 2023-07-06
Version of Record valid from 2023-07-06
Article History
Accepted: 30 May 2023
First Online: 6 July 2023