Verification of mutable linear data structures and iterator-based algorithms in Dafny | Publicación