No.

Title

Item Location

Call Number

1

Shaoying Liu. Formal Engineering for Industrial Software Development. Using SOFL Method. Springer, 2004

• Main Library General Collection

QA76.76 . D47L58 2010

2

Using Z: Specification, Refinement and Proof Jim Woodcock and Jim Davies, 1996, Prentice Hall.

• Main Library General Collection

QA76.73 . Z2W66