Department Seminar Series

Dynamic epistemic verification of security

22nd May 2007, 16:00 add to calender
Dr Francien Deschesne
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands