|
1999 Book The Object-Z Specification LanguageSmith, G. P. (1999). The Object-Z Specification Language. Boston: Kluwer Academic Publishers. doi: 10.1007/978-1-4615-5265-9 |
|
1999 Book Stepwise development from ideal specificationsSmith, Graeme (1999). Stepwise development from ideal specifications. SVRC Technical Report, 99-35. Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. |
|
1999 Book Towards real-time object-ZSmith, Graeme and Hayes, Ian (1999). Towards real-time object-Z. Technical Report SSE, 99-10. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. |
|
1991 Book The object-Z specification language: version 1Duke, Roger, King, Paul, Rose, Gordon and Smith, Graeme (1991). The object-Z specification language: version 1. SVRC Technical Report, 91-1. Software Verification Research Centre, Department of Computer Science, The University of Queensland. |
