Pages that link to "Item:Q2467973"
From MaRDI portal
The following pages link to Verification of finite iterations over collections of variable data structures (Q2467973):
Displaying 4 items.
- Verification of finite iterations over tuples of data structures (Q1403234) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- Symbolic verification method for definite iterations over tuples of altered data structures (Q2880591) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)