Slide 1Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 3 Slide 2 Today’s Topics Advanced Alloy language features (Ch. 3 and 4)…
