Formal Methods Teaching