Publicaciones (1) Publicaciones de JORGE BLÁZQUEZ SABORIDO

2023

  1. Verification of mutable linear data structures and iterator-based algorithms in Dafny

    Journal of Logical and Algebraic Methods in Programming, Vol. 134