Report - Lecture1 Introduction 24January2011 · CourseGoals • Learntechniquesformodelingprograms∗ I Formalsemantics(operational,axiomatic,denotational) I Extendtoadvancedlanguagefeatures

Please pass captcha verification before submit form