JORGE
BLÁZQUEZ SABORIDO
Profesor ayudante
CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
Publications dans lesquelles il/elle collabore avec CLARA MARÍA SEGURA DÍAZ (1)
2023
-
Verification of mutable linear data structures and iterator-based algorithms in Dafny
Journal of Logical and Algebraic Methods in Programming, Vol. 134