@techreport {AREA-201902-Pollard,
   type = {Area Exam},
   author = {Samuel D. Pollard},
   title = {Verification Techniques for Low-Level Programs},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = AREA-201902-Pollard,
   month = 2,
   year = 2019,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/AREA-201902-Pollard.pdf}},
}