NICTA Managing Complexity theme: Formal Methods activities - Seminars http://www.cse.unsw.edu.au/~formalmethods/index.html#seminars Announcements of upcoming seminars. en-au Sat, 28 Feb 2009 13:05:01 GMT