1.Analysis and Specification ofInformation SystemsWinter 2007Session 7: Formal Specification with ZedEran Tochhttp://www.technion.ac.il/~erant Specification and Analysis…
