Bengt Jonsson, Current Courses

• Verification Technology 2008 starts Jan 21.