Department Seminar Series
Dynamic epistemic verification of security
22nd May 2007, 16:00
Dr Francien Deschesne
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands
Maintained by Othon Michail