Model checking, program verification and program testing

Date: Friday 14 March 2008

Time: 11:00

Location: A306

Dr Visser formerly worked at NASA, and now works for a software company in Silicon Valley.

Problems? Contact our webmaster (webmaster@CUT-ME-OUT@cs.sun.ac.za).

News & events