Publicaciones en las que colabora con JORGE BLÁZQUEZ SABORIDO (1)

2023

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

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