140
click to vote
VMCAI
2009
Springer
16 years 22 days ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...