Publications by the researcher in collaboration with MANUEL MONTENEGRO MONTES (1)

2023

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

    Journal of Logical and Algebraic Methods in Programming, Vol. 134