Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees.

Jorge Blzquez, Manuel Montenegro, Clara Segura

Browse the full IFM paper archive.