A fully verified container libraryNadia Polikarpova, Carlo A. Furia|Formal Aspects of Computing|2017Cited by 16