Introduction to Program Verification
Department of Computer Science and Engineering
|
Instructor: Peter Roosen-Runge E-mail: peter at cse.yorku.ca Office hours: 319 Calumet College, Tuesday and Thursday 1:30 - 2:30 PM, (by appointment) |