CR ST CREST Centre for Reliable Software Technology Ralph Back Director.
CR ST CREST Centre of Excellence in Formal Methods in Programming 2003-04 Ralph Back Director.