WebML and WebRatio 5 - TOOLS conference, Zurich 2008
CS 290C: Formal Models for Web Software Lecture 2: Navigation Modeling with Statecharts Instructor: Tevfik Bultan.