Now showing items 1-4 of 2

    abstract interpretation (2)
    canonical abstraction (2)
    semi-decision procedure (2)
    separation logic (2)