D YNAMICS OF V ERIFICATION 2013-2014 A graduate level verification course ISFAA Spring Conference April 16, 2013.
