Education collaboration

Teacher-Librarian Collaboration in building the curriculum for an IB world School: A case study Madhu Bhargava Dean of Libraries G.D.Goenka World School Diversity Challenge…

Technology Pex

1. PexThe future of unit testing?Ben Hall [email protected] Blog.BenHall.me.uk 2. Agenda• What is Pex?• Problem Pex is trying to solve• Pex in the Real World• The…

Documents CSE 3341.03 Winter 2008 Introduction to Program Verification

CSE 3341.03 Winter 2008 Introduction to Program Verification calculating with wp symbex: swap example (p. 30) //{ X = 'old X' and Y = 'old Y' } void swap(X,…