KK05403 FORMAL METHOD IN SOFTWARE ENGINEERING
| No. | Title | Item Location | Call Number | 
| 1 | 
 | QA76.76 . D47L58 2010 | |
| 2 | Using Z: Specification, Refinement and Proof Jim Woodcock and Jim Davies, 1996, Prentice Hall. | 
 | QA76.73 . Z2W66 | 
