- Quick Links for
ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing was held during 16-19 Jan 2012 (Monday-Thursday) at HKUST. Over 75 professors and researchers participated in the workshop. The workshop was driven by, but not limited to, semantic-based static analysis, programming language theories, formal methods, and corpus-based computation.
Participants at the Workshop (1)
Participants at the Workshop (2)
Copyright © Department of CSE, HKUST. All Rights Reserved. Last updated on 2012-02-29