Wu Hon Leung

Publication Activity (10 Years)

Years Active: 1980-1980
Publications (10 Years): 0

Publications

Wu Hon Leung, C. V. Ramamoorthy
An Approach to Formal Specification of Control Modules. IEEE Trans. Software Eng. 6 (5) (1980)