A Change-Based Heuristic for Static Analysis with Policy Iteration

Völker, Marcus (Corresponding author); Kowalewski, Stefan (Corresponding author)

Cham, Switzerland / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

Static analysis : 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings / Bor-Yuh Evan Chang (ed.)
Page(s): 73-95

Identifier