HKBU  |  SCI  |  BUniPort  |  Library  |  Alumni  |  Job Vacancies  |  Intranet  |  Sitemap        
Undergraduate Admissions
Taught Postgraduate Admissions
Research Postgraduate Admissions
Job Vacancies
News & Achievements
Research Highlights
Contact & Direction
International Exchange and Internship Programmes


Seminar: Analyzing Semantic Correctness of Protocol Implementations with Symbolic Execution

Jan 2, 2019Mr. Sze Yiu Chau
Department of Computer Science, Purdue University

The image cannot be loaded: IMG_8413.JPG
  • IMG_8413.JPG
  • IMG_8414.JPG
  • IMG_8416.JPG
  • IMG_8420.JPG
  • IMG_8421.JPG
  • IMG_8422.JPG
  • IMG_8426.JPG
Copyright © 2019. All rights reserved.Privacy Policy
Department of Computer Science, Hong Kong Baptist University
Hong Kong Baptist University