Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings - Gibbons, Jeremy; Oliveira, José Nuno (Springer Berlin Heidelberg, 2009)