JORGE
BLÁZQUEZ SABORIDO
Profesor ayudante
CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
CLARA MARÍA SEGURA DÍAZ-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