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