Results (1)

  • JTDec: A Tool for Tree Decompositions in Soot
    Conference paper