Model construction and verification with Rodin

29^th January 2008, 16:00
Prof Michael Butler
School of Electronics and Computer Science, University of Southampton, UK