Quentin Stiévenart, Noah Van Es, Jens Van der Plas, Coen De Roover. A parallel worklist algorithm and its exploration heuristics for static modular analyses. Journal of Systems and Software, 181:111042, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.