Automatic Verification of Parameterized Data Structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta

Browse the full TACAS paper archive.