School Seminar Series

ProB: A Model Checker for B

20th May 2003, 16:00 add to calender
Michael Leuschel
Department of Electronics and Computer Science, University of Southampton, UK