Program specification and transformation
- W. Ma and Z. Luo. Modelling and Collaborative Programming for Control-Oriented Systems. Proc of 15th EAI International Conference on Collaborative Computing. London, 2019.
- E.J. Younger, K.H. Bennett, and Z. Luo. A formal transformation and
refinement method for re-engineering concurrent programs. Proc. of IEEE
ICSM'97, Bari, Italy, 1997.
- E. Younger, Z. Luo, K. Bennett, and T. Bull. Reverse engineering concurrent
programs using formal modelling and analysis. Proc. of IEEE ICSM'96, Canada,
- T. Bull, E. Younger, K. Bennett, and Z. Luo. Bylands: reverse engineering
safety-critical systems. Proc. of IEEE ICSM'95, Opino, France, 1995.
- Z. Luo. Program specification and data refinement in type theory. Mathematical
Structures in Computer Science, 3(3), 1993.
- Z. Luo. Program specification and data refinement in type theory. Proc. of
TAPSOFT'91, LNCS 493. 1991. (Also as ECS-LFCS-91-131, Dept. of
Computer Science, Edinburgh Univ.)
to Zhaohui Luo's Publications page.