Verification of mutable linear data structures and iterator-based algorithms in Dafny
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Datum der Publikation: 2023
Ausgabe: 134
Art: Artikel