The top documents tagged [thepredicate abstraction]

Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)
Documents Abstractions From Proofs (HENZINGER, T. a. Et Al., 2004)

12 views