MANUEL MONTENEGRO MONTES-rekin lankidetzan egindako argitalpenak (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