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