Index of ftp://ftp.eng.shirazu.ac.ir/Documents/Specification and Verification/Z/doc

`FSP Seminar Report.doc`	`150.50Kb`	`May 16 2003`	`[find mirrors]`
`FormalSpec-avl.pdf`	`81.77Kb`	`March 17 2004`	`[find mirrors]`
`Z notation.pdf`	`761.31Kb`	`February 22 2004`	`[find mirrors]`
`chap11-model based spec.pdf`	`41.18Kb`	`February 21 2004`	`[find mirrors]`
`cspbook.pdf`	`2.87Mb`	`February 25 2004`	`[find mirrors]`
`formal.models.concurrency.pdf`	`314.58Kb`	`February 24 2004`	`[find mirrors]`
`spivey-intro-to-z.pdf`	`947.28Kb`	`February 24 2004`	`[find mirrors]`
`tu2foils.pdf`	`94.88Kb`	`February 24 2004`	`[find mirrors]`
`z_eves software manual for windows.pdf`	`131.19Kb`	`February 22 2004`	`[find mirrors]`
`zbook.pdf`	`818.67Kb`	`February 22 2004`	`[find mirrors]`
`zedbook.pdf`	`4.74Mb`	`April 3 1999`	`[find mirrors]`