AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Graeme Smith

Graeme Smith

University of Queensland - St Lucia / Australia
Others
AD Scientific Index ID: 122546
The University of Queensland
person_outline Graeme Smith's MOST POPULAR ARTICLES
1-) The Object-Z specification language Springer Science & Business Media, 2012
2-) Object-Z: A specification language advocated for the description of standards Computer Standards & Interfaces 17 (5-6), 511-533, 1995
3-) Object-Z: An object-oriented extension to Z Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989
4-) The Object-Z specification language: version 1 SVRC, 1991
5-) A semantic integration of Object-Z and CSP for the specification of concurrent systems International Symposium of Formal Methods Europe, 62-81, 1997