Class materials for the first third of the course are based on materials originally developed at Kansas State University by Matt Dwyer, John Hatcliff and Rod Howell. They were revised and extended at Iowa with Laurence Pillard and Pierre-Loïc Garoche.
Materials for the second third of the course are based on materials developed at Chalmers University by Angela Wallenburg, and Philipp Rümmer, with additional contributions by Koen Claessen, who also developed Luke.
The last third of the course mostly relies on materials developed by Rustan Leino.
Many thanks to all of the people above for sharing their course materials and for their assistance.