A Change-Based Heuristic for Static Analysis with Policy Iteration

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Static Analysis / Chang, Bor-Yuh Evan (Editor)
Seite(n): 73-95

Autorinnen und Autoren

Autorinnen und Autoren

Völker, Marcus
Kowalewski, Stefan

Identifikationsnummern