A Verified Implementation of the Bounded List Container.

Raphal Cauderlier, Mihaela Sighireanu

Browse the full TACAS paper archive.