Formal Methods in Industry (Z, B and Event-B): an Historical Perspective
- LecturerDr. Jean-Raymond Abrial (Independent Consultant, Marseille, France)
Host: Dr. Tyng-Ruey Chuang - Time2010-08-23 (Mon.) 11:00 ~ 12:00
- LocationAuditorium 106 at new IIS Building