Master :: Victor Kwan

MSC Thesis:
[ Unknown -- 1998 ] A Predicative Model for Probabilistic Specifcatrion and Programs
Advisors:

More Information:
  • As an alumni since 1998

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