Precise reasoning for programs using containers.

Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full POPL paper archive.