CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
JORGE
BLÁZQUEZ SABORIDO
Profesor ayudante
Publicaciones en las que colabora con JORGE BLÁZQUEZ SABORIDO (1)
2023
-
Verification of mutable linear data structures and iterator-based algorithms in Dafny
Journal of Logical and Algebraic Methods in Programming, Vol. 134