In semester 1 of 2004/2005 I taught Formal Methods to 3rd year CSSE students at NUIM. The page for that course is still available here.