All of the slides for this course can be found on Brightspace.
Tutorial on Why3 by Jean-Christophe FilliĆ¢tre
Why3 Reference Manual
Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014
Instructions on installing Why3 (note for Windows users)