LARA

Lecture 13: Reasoning about Sets and Data Structures

Continuing Lecture 12

Programs with References and Arrays

Small Models Applied to Set-Valued Fields