A Change-Based Heuristic for Static Analysis with Policy Iteration

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

Static Analysis / Chang, Bor-Yuh Evan (Editor)
Page(s): 73-95

Authors

Selected Authors

Völker, Marcus
Kowalewski, Stefan

Identifier