The top documents tagged [abstract domain cousot]
Inferring Disjunctive Postconditions
54 views