Master :: Patrick Premont

MSC Thesis:
[ Unknown -- 1997 ] The Situation Calculus and Hehner's Programming Theory: Harmonization Through Reification
Advisors:

More Information:
  • As an alumni since 1997

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