A Parallel Worklist Algorithm for Modular Analyses

Noah Van Es, Quentin Stiévenart, Jens Van der Plas, Coen De Roover

Onderzoeksoutput: Conference paper

4 Citaten (Scopus)
155 Downloads (Pure)
  • 1 Talk or presentation at a conference

Zoekresultaten