Jorge Blázquez

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Computational Efficiency

Algorithms And Data Structures

Recently Developed

Computationally Expensive

Top Venues

J. Log. Algebraic Methods Program.

Publications

Jorge Blázquez, Manuel Montenegro, Clara Segura
Verification of mutable linear data structures and iterator-based algorithms in Dafny. J. Log. Algebraic Methods Program. 134 (2023)