This site supports the
Software Money-Back Guarantee

COSC3111 - Introduction to Program Verification

Winter 1998
Department of Computer Science

Course director: P. H. Roosen-Runge

Section M: Mondays and Wednesdays, 11.30 AM -1 PM, 114 Stong

Office Hours: Mondays and Wednesdays: 2 PM-3 PM.

(If I'm not in 319 Calumet, try CulTech Research Centre, 110 Central Square.)

(what it's all about -- sort of)

Table of Contents

Course Information

Back to Table of Contents

Course Content