Enforcing termination of interprocedural analysis
Crossref DOI link: https://doi.org/10.1007/s10703-017-0288-5
Published Online: 2017-08-03
Published Print: 2018-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Schulze Frielinghaus, Stefan http://orcid.org/0000-0002-3521-918X
Seidl, Helmut
Vogler, Ralf
Text and Data Mining valid from 2017-08-03