Pages that link to "Item:Q2863858"
From MaRDI portal
The following pages link to Pattern-based verification of programs with extended linear linked data structures (Q2863858):
Displaying 6 items.
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- (Q3075210) (← links)
- Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking (Q5166662) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465858) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703767) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)