36 search results - page 8 / 8 » Abstract Branching for Quantified Formulas |
150
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...