Jorge Blázquez

Orcid: 0009-0005-6885-3047

According to our database¹, Jorge Blázquez authored at least 2 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees.

[DOI]

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

2023

Verification of mutable linear data structures and iterator-based algorithms in Dafny.

[DOI]

J. Log. Algebraic Methods Program., August, 2023