CS 1502, Formal Methods in Computer Science, Sp
2009
Survey
Name:
Which Computer Science courses have you taken?
Which Math and/or Logic courses have you taken?
What do you plan to major in?
Please list any other relevant experience or interests (work,
projects, etc).