Department Seminar Series
Model construction and verification with Rodin
29th January 2008, 16:00
Prof Michael Butler
School of Electronics and Computer Science, University of Southampton, UK
Maintained by Othon Michail