( en | de | ru )

 

Disambiguation of "Watson, Geoffrey"

Author of the publication

copydeleteadd this publication to your clipboard
MDA-Based Re-engineering with Object-Z

, , , , and . (2006)
DOI: 10.1007/11880240_21

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Watson Pedlow

Christopher Watson

Myles Watson

Michael Watson

David Watson

 

Other publications of authors with the same name

Automated Generation of Test Cases Using Model-Driven Architecture., , and . AST, page 3-9. IEEE Computer Society, (2007)Refining Exceptions Using King and Morgan's exit Construct.. APSEC, page 43-51. IEEE Computer Society, (2002)MDA-Based Re-engineering with Object-Z, , , , and . (2006)A generic proof checker. University of Queensland, Australia, (2001)Compilation by Refinement for a Practical Assembly Language.. ICFEM, volume 2885 of Lecture Notes in Computer Science, page 286-305. Springer, (2003)MDA-Based Re-engineering with Object-Z., , , , and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 291-305. Springer, (2006)The deadline command., , and . IEE Proc. Softw., 146 (2): 104-111 (1999)A Partial-Correctness Semantics for Modelling Assembler Programs., and . SEFM, page 82-90. IEEE Computer Society, (2003)Large sample theory of the Langevin distribution. Journal of Statistical Planning and Inference, 8 (3): 245--256 (December 1983)Invariant tests for uniformity on the vertices of a regular polygon. Statistics & Probability Letters, 17 (1): 67--71 (May 3, 1993)