Master :: Jonathan Amir
Personal Page
Interests: model checking

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