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

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

Identifier