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