1
by Guerra, Esther.
Published 2021
Format:
Table of Contents: ... Families with Numerical Features -- 1 Introduction -- 2 Motivating Example -- 3 A Language for Program...
Click to View
2
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Verification of Pointer Programs -- 1 Introduction -- 2 A tour of WhyRel -- 3 Patterns of alignment -- 4...
Click to View