Now showing items 1-4 of 3

    abstract interpretation (3)
    best transformer (3)
    symbolic abstraction (3)
    Staalmarck's method (2)