Master :: Lin Mei
Personal Page
Interests: requirements tracing, software dependability

Contact Information:

MSC Thesis:
[ 2003 -- Current ] N/A
Advisors:

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004