The following are courses I am, or have been, involved in at the Eindhoven University of Technology:
SET seminar (2IPM00, formerly 2IS95);
Software Specification (2IW05);
OGO 2.2 Software Specification (2IO35).