A Fully Verified Container Library

FM 2015: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-19249-9_26 ◽

2015 ◽

pp. 414-434 ◽

Cited By ~ 17

Author(s):

Nadia Polikarpova ◽

Julian Tschannen ◽

Carlo A. Furia

Download Full-text