Clement F. S. Yim

Publication Activity (10 Years)

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

Publications

Karl R. P. H. Leung, Clement F. S. Yim
Reversing concurrent systems into formal specifications. APSEC (1994)