PhD :: Mark Pichora

Contact Information:

PHD Thesis:
[ Unknown -- ] Automated reasoning about hardware data types using bit-vectors of symbolic length
Advisors:


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