CISC422/853: Formal Methods in Software Engineering: Computer-aided Verification (Winter 2009)
Messages
[
Home
] [
Content
] [
Schedule
] [
Readings
] [
Assignments
] [
Tools
] [
Projects
] [
Messages
]
We will use
WebCT
for communication outside the class room.